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

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