X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=linuxrwlocks%2FMakefile;h=8a436359fd8e56c2da00bbcdbdd7afa6f0e4dc10;hb=d6d7be6d248751fe7a8b751ecc73fa51aca0e4d6;hp=2940b583eab02d5a63eeec3bcf359fc4ab548ee1;hpb=0db9fc67452e396fa3e4953328f30e18551d34e1;p=model-checker-benchmarks.git

diff --git a/linuxrwlocks/Makefile b/linuxrwlocks/Makefile
index 2940b58..8a43635 100644
--- a/linuxrwlocks/Makefile
+++ b/linuxrwlocks/Makefile
@@ -1,7 +1,7 @@
 include ../benchmarks.mk
 
 TESTNAME = linuxrwlocks
-WILDCARD_TESTS = testcase1
+WILDCARD_TESTS = testcase1 testcase2 testcase_full
 all: $(TESTNAME) $(WILDCARD_TESTS)
 
 $(TESTNAME): $(TESTNAME).c $(TESTNAME).h