From 5740025c5a5c63308a269420cb9a02d0581bdfc3 Mon Sep 17 00:00:00 2001 From: Danny Robson Date: Mon, 11 Nov 2019 16:38:28 +1100 Subject: [PATCH] CACHEDIR: correct the case of the extension --- CACHEDIR.tag.in => CACHEDIR.TAG.in | 0 init.py | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename CACHEDIR.tag.in => CACHEDIR.TAG.in (100%) diff --git a/CACHEDIR.tag.in b/CACHEDIR.TAG.in similarity index 100% rename from CACHEDIR.tag.in rename to CACHEDIR.TAG.in diff --git a/init.py b/init.py index c4f0a05..565c498 100755 --- a/init.py +++ b/init.py @@ -88,7 +88,7 @@ if __name__ == '__main__': accumulated += [f'"-D{key}={val}"' for key, val in vars.items()] accumulated += args cmds = [ - f"cp {os.path.join(self_dir, 'CACHEDIR.tag.in')} CACHEDIR.tag", + f"cp {os.path.join(self_dir, 'CACHEDIR.TAG.in')} CACHEDIR.TAG", f"cmake {source_dir} {' '.join(accumulated)}", ' '.join(build) ]