(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / src / Makefile.kernel

diff --git a/src/Makefile.kernel b/src/Makefile.kernel
index c1985c4537f791da77fe27e11228014baeec2c6e..181eb23da70f61491b8cd96578bba7f800180eb0 100644 (file)
--- 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