diff options
Diffstat (limited to 'util/newconfig/config.g')
| -rw-r--r-- | util/newconfig/config.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/newconfig/config.g b/util/newconfig/config.g index 60b8d4f249..09663aaa44 100644 --- a/util/newconfig/config.g +++ b/util/newconfig/config.g @@ -1902,8 +1902,8 @@ parser Config: #============================================================================= def writemakefileheader(file, fname): file.write("# File: %s is autogenerated\n" % fname) - file.write("Makefile: %s %s\n" - % (os.path.abspath(sys.argv[0]), top_config_file)) + file.write("%s: %s %s\n" + % (os.path.basename(fname), os.path.abspath(sys.argv[0]), top_config_file)) file.write("\t(cd %s ; %s %s %s)\n\n" % (os.getcwd(), sys.argv[0], sys.argv[1], sys.argv[2])) |