projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1199498)
Add -*- makefile -*- line.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 31 Oct 2004 06:29:22 +0000 (06:29 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 31 Oct 2004 06:29:22 +0000 (06:29 +0000)
src/Makefile.kernel patch | blob | history

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
Pintos public repository