X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.kernel;h=181eb23da70f61491b8cd96578bba7f800180eb0;hb=be193f8d945ee145b404e8b33fae7616a4b408f4;hp=fe63d5273174e5a00a21bb57ca2a8a2db508d9d2;hpb=d46fd132092304422193b717d9a60641604cc1b5;p=pintos-anon

diff --git a/src/Makefile.kernel b/src/Makefile.kernel
index fe63d52..181eb23 100644
--- a/src/Makefile.kernel
+++ b/src/Makefile.kernel
@@ -1,3 +1,5 @@
+# -*- makefile -*-
+
 include Make.vars
 BUILD_SUBDIRS = $(addprefix build/, $(SUBDIRS))
 CP = cp