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

diff --git a/tests/Makefile b/tests/Makefile
index 4771be0..efea7a5 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -3,7 +3,7 @@ TESTS = threads p1-1 p1-2 p1-3 list stdlib userprog p2 vm filesys
 PATH := $(shell pwd)/../src/utils:$(PATH)
 
 all:
-	@echo "This Makefile has only `check' targets."
+	@echo "This Makefile has only \`check' targets."
 
 check:
 	$(MAKE) -C .. distclean
@@ -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)