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