Add -include constants.h.

[pintos-anon] / src / tests / userprog / Makefile

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index 3b35616d6bae0eded022f8dfb347ae144477cb06..eac2f2df156dc9e0c139bde3367324c251a09e13 100644 (file)
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -12,7 +12,8 @@ LDLIBS = $(shell $(CC) -print-libgcc-file-name)
 VPATH = ../..
 
 DEFINES = -DUSER
-CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/user
+CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/user \
+          -include constants.h
 
 # C library sources linked into every test program.
 LIB_SRC  = lib/debug.c                 # Debug code.