X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.kernel;h=181eb23da70f61491b8cd96578bba7f800180eb0;hb=06aa2c0d714c83f0300559b48972bf454f3dab56;hp=fe63d5273174e5a00a21bb57ca2a8a2db508d9d2;hpb=04c55108f55f8a6f4a31a5085151bb729635ff8e;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