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

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