Revise.

diff --git a/tests/Makefile b/tests/Makefile
index 38751cd1f4e7484a92a72de3968e8b06d9fe7f56..b5ff710a4074914ef7424ea5f027396c2cc5cb4e 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -21,6 +21,10 @@ cd $@/src && $(MAKE) clean $(SUBMAKEFLAGS)
 endef
 
 define run-tests
+cd $@/src/$(PROJECT) && make check
+endef
+
+define run-tests-grade
 cd $@/src/$(PROJECT) && make check && make grade
 endef
 
@@ -53,26 +57,26 @@ p1: PROJECT = threads
 p1::
        $(mk-sandbox)
        $(apply-patch) < ../solutions/p1.patch
-       $(run-tests)
+       $(run-tests-grade)
        $(clean)
 
 p2: PROJECT = userprog
 p2::
        $(mk-sandbox)
        $(apply-patch) < ../solutions/p2.patch
-       $(run-tests)
+       $(run-tests-grade)
        $(clean)
 
 p3: PROJECT = vm
 p3::
        $(mk-sandbox)
        $(apply-patch) < ../solutions/p3.patch
-       $(run-tests)
+       $(run-tests-grade)
        $(clean)
 
 p4: PROJECT = filesys
 p4::
        $(mk-sandbox)
        $(apply-patch) < ../solutions/p4.patch
-       $(run-tests)
+       $(run-tests-grade)
        $(clean)