X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;fp=tests%2FMakefile;h=38751cd1f4e7484a92a72de3968e8b06d9fe7f56;hb=a705e9ae16e14e24d313916a0c5402e175f8cce5;hp=be8b0d552648438dae7e86818fd05e3122003ea0;hpb=c680fb42206bf424fa172bc9557b068ec93931c4;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index be8b0d5..38751cd 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -21,7 +21,7 @@ cd $@/src && $(MAKE) clean $(SUBMAKEFLAGS)
 endef
 
 define run-tests
-cd $@/src/$(PROJECT) && make check
+cd $@/src/$(PROJECT) && make check && make grade
 endef
 
 define compile