diff options
Diffstat (limited to 'gdb/copying.awk')
| -rw-r--r-- | gdb/copying.awk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gdb/copying.awk b/gdb/copying.awk index 00c63cd..1801997 100644 --- a/gdb/copying.awk +++ b/gdb/copying.awk @@ -1,7 +1,10 @@ BEGIN { FS="\""; - print "/* ==> Do not modify this file!! It is created automatically"; - print " by copying.awk. Modify copying.awk instead. <== */"; + print "/* ==> Do not modify this file!! " \ + "-*- buffer-read-only: t -*- vi" \ + ":set ro:"; + print " It is created automatically by copying.awk."; + print " Modify copying.awk instead. <== */"; print "" print "#include \"defs.h\"" print "#include \"command.h\"" |