Revise.

[pintos-anon] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index be8b0d552648438dae7e86818fd05e3122003ea0..b5ff710a4074914ef7424ea5f027396c2cc5cb4e 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -24,6 +24,10 @@ define run-tests
 cd $@/src/$(PROJECT) && make check
 endef
 
+define run-tests-grade
+cd $@/src/$(PROJECT) && make check && make grade
+endef
+
 define compile
 cd $@/src/$(PROJECT) && make
 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)