X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=e124011ac646210885fc7c311080ede3e6bfd3d3;hb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;hp=df3877705db29ff9deb09bf13f2e8c1d11d18abe;hpb=e16045ed45f5a008f6fb2e32dd5f60a0ada347c3;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index df38777..e124011 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -7,8 +7,7 @@ VPATH = ../..
 
 # Compiler and assembler options.
 DEFINES += -DKERNEL
-CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/kernel	\
-	   -include constants.h
+CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/kernel
 
 # Core kernel.
 threads_SRC  = threads/init.c		# Main program.