Add -*- makefile -*- line.

[pintos-anon] / src / Makefile.kernel

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