summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlf Magnusson <ulfalizer@gmail.com>2018-12-08 14:44:27 +0100
committerUlf Magnusson <ulfalizer@gmail.com>2018-12-08 14:44:27 +0100
commite8f9751218fe8995d17c8c809e23d965df08d6ec (patch)
tree27beb5f86c92b1a6a4cc803412489271b6c3157c
parent094f4a9622046924032c80768a9760e20f738f80 (diff)
genconfig: Do not generate *.old files for --config-out
Configuration files generated by --config-out would usually be an internal detail of the build system, so it's probably not helpful to generate *.old files for them. Pass save_old=False to write_config() to skip it.
-rwxr-xr-xgenconfig.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/genconfig.py b/genconfig.py
index fcb93b9..a7c9e07 100755
--- a/genconfig.py
+++ b/genconfig.py
@@ -83,7 +83,7 @@ def main():
kconf.sync_deps(args.sync_deps_path)
if args.config_path is not None:
- kconf.write_config(args.config_path)
+ kconf.write_config(args.config_path, save_old=False)
if __name__ == "__main__":
main()