X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;fp=tests%2FMakefile;h=4bdd5977703616563a802edd382f0f7f9667764d;hb=601d95be13aa18bfdea51930f86cccdde1c01f5e;hp=efea7a5078db3e7da0cb6621a588f4f0ed9b313f;hpb=24ff01c3b69360c8a7c01d0959f4148688cfeb7a;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index efea7a5..4bdd597 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -7,6 +7,9 @@ all:
 
 check:
 	$(MAKE) -C .. distclean
+	$(MAKE) check-noclean
+
+check-noclean:
 	for d in $(TESTS); do $(MAKE) $$d || exit 1; done
 	@echo All tests passed.
 
@@ -91,6 +94,7 @@ 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)