X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.kernel;h=fe63d5273174e5a00a21bb57ca2a8a2db508d9d2;hb=59b3a827580ccbf63ad75526026fd7e8558201c6;hp=c1985c4537f791da77fe27e11228014baeec2c6e;hpb=6e90bdc33810948b6de5c70b4c7987740d67da3d;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