X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=linuxrwlocks%2FMakefile;h=8a436359fd8e56c2da00bbcdbdd7afa6f0e4dc10;hb=d634d19b6134309ed0893c6fd58d815cbafecd16;hp=2940b583eab02d5a63eeec3bcf359fc4ab548ee1;hpb=e6766cda044641ae6ddab5eb08c3e9ab44564066;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