diff options
| author | weety <[email protected]> | 2018-09-05 09:48:01 +0800 |
|---|---|---|
| committer | weety <[email protected]> | 2018-09-05 09:48:01 +0800 |
| commit | ce54828eb0e52dc54450137105e0aa104dbcd511 (patch) | |
| tree | 2101a2900030b047dddccf6fda05cbf07a268b1c /tools | |
| parent | d344ff5a9e87cd6d401fb715fc5b2b67dfa35382 (diff) | |
Support generation of kconfig configuration files compatible with C tools.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/pymenuconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/pymenuconfig.py b/tools/pymenuconfig.py index ef926dfe88..1c2e53952a 100644 --- a/tools/pymenuconfig.py +++ b/tools/pymenuconfig.py @@ -1010,7 +1010,7 @@ class MenuConfig(object): print('Saving config: \'{}\''.format(path)) # Try to save config to selected path try: - self.kconfig.write_config(path) + self.kconfig.write_config(path, header="#\n# Automatically generated file; DO NOT EDIT.\n") self.unsaved_changes = False self.config_path = path self.set_status_string('Saved config') |