X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2FMake.tests;h=32494ca104f3c62056e24b69bb3e845e3619a0d4;hp=358e69724b156b15dc98c76301367015ee3b6a59;hb=16c7d34d02045bc7e6165a13c549a7968e074d4b;hpb=bffccc54acc0560186b8c38bc4a66897de5158eb

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index 358e697..32494ca 100644
--- a/src/tests/Make.tests
+++ b/src/tests/Make.tests
@@ -47,6 +47,7 @@ outputs:: $(OUTPUTS)
 $(foreach prog,$(PROGS),$(eval $(prog).output: $(prog)))
 $(foreach test,$(TESTS),$(eval $(test).output: $($(test)_PUTFILES)))
 $(foreach test,$(TESTS),$(eval $(test).output: TEST = $(test)))
+$(foreach test,$(TESTS),$(eval $(test).result: $(test).output $(test).ck))
 
 # Prevent an environment variable VERBOSE from surprising us.
 VERBOSE =