From e8f9751218fe8995d17c8c809e23d965df08d6ec Mon Sep 17 00:00:00 2001 From: Ulf Magnusson Date: Sat, 8 Dec 2018 14:44:27 +0100 Subject: 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. --- genconfig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'genconfig.py') 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() -- cgit v1.2.3