X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fq2c.c;h=20b245986b127b3bc8ddd703048d11def95f7682;hb=6f972e0ef93c3a7e00fd5335ea22af2c878f4589;hp=c85ea9b37db54663f0c1556d6129983d97a8bdc2;hpb=c48bf64ab648b9b761a8e0774db3672d8009c64c;p=pspp

diff --git a/src/q2c.c b/src/q2c.c
index c85ea9b37d..20b245986b 100644
--- a/src/q2c.c
+++ b/src/q2c.c
@@ -1704,7 +1704,7 @@ dump_header (void)
   loctime = localtime (&curtime);
   timep = asctime (loctime);
   timep[strlen (timep) - 1] = 0;
-  dump (0,   "/* %s", ofn);
+  dump (0,   "/* %s\t\t-*- mode: c; buffer-read-only: t -*-", ofn);
   dump (0, nullstr);
   dump (0, "   Generated by q2c from %s on %s.", ifn, timep);
   dump (0, "   Do not modify!");