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 /makefile.patch | |
| 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 'makefile.patch')
0 files changed, 0 insertions, 0 deletions