diff options
author | Florian Dold <florian.dold@gmail.com> | 2020-08-03 13:32:20 +0530 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2020-08-03 13:33:34 +0530 |
commit | b56fedc0aefefb86fa8fe82135e219f4e2fddb6c (patch) | |
tree | ee237487128c09afff5fe7fa459e8d194b084ce2 /build-system/configure.py | |
parent | 16bf55622a2813a98e53e3a7311d201f1a46d71a (diff) |
cleanup
Diffstat (limited to 'build-system/configure.py')
-rw-r--r-- | build-system/configure.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build-system/configure.py b/build-system/configure.py index 4595aae10..32b32602c 100644 --- a/build-system/configure.py +++ b/build-system/configure.py @@ -6,6 +6,7 @@ import talerbuildconfig as tbc import sys +import shutil if getattr(tbc, "serialversion", 0) < 2: print("talerbuildconfig outdated, please update the build-common submodule and/or bootstrap") @@ -18,3 +19,6 @@ b.add_tool(tbc.PosixTool("find")) b.add_tool(tbc.NodeJsTool(version_spec=">=12")) b.add_tool(tbc.YarnTool()) b.run() + +print("copying Makefile") +shutil.copyfile("build-system/Makefile", "Makefile") |