X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=efea7a5078db3e7da0cb6621a588f4f0ed9b313f;hb=6070611faac84bdf95c4405b3970c6928202f26b;hp=f813f7de92a1206dfbd157e4a8690e563df92df7;hpb=0b03e95ba4a5ca2c936a98d77caee8f6f4087529;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index f813f7d..efea7a5 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -91,7 +91,6 @@ userprog::
 	$(prep-grading)
 	$(mk-sandbox)
 	$(apply-patch) ../solutions/p1-2.patch
-	echo '#define THREAD_JOIN_IMPLEMENTED 1' > $@/pintos/src/constants.h
 	$(run-tests) null
 	$(clean)