From ce54828eb0e52dc54450137105e0aa104dbcd511 Mon Sep 17 00:00:00 2001
From: weety <494406036@qq.com>
Date: Wed, 5 Sep 2018 09:48:01 +0800
Subject: [PATCH] Support generation of kconfig configuration files compatible
 with C tools.

---
 tools/pymenuconfig.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/pymenuconfig.py b/tools/pymenuconfig.py
index ef926dfe8..1c2e53952 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')
-- 
GitLab