diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-12-08 14:44:27 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-12-08 14:44:27 +0100 |
| commit | e8f9751218fe8995d17c8c809e23d965df08d6ec (patch) | |
| tree | 27beb5f86c92b1a6a4cc803412489271b6c3157c /genconfig.py | |
| parent | 094f4a9622046924032c80768a9760e20f738f80 (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.
Diffstat (limited to 'genconfig.py')
| -rwxr-xr-x | genconfig.py | 2 |
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() |
