changes to linuxrwlock;

[model-checker-benchmarks.git] / linuxrwlocks / Makefile

diff --git a/linuxrwlocks/Makefile b/linuxrwlocks/Makefile
index 2940b583eab02d5a63eeec3bcf359fc4ab548ee1..8a436359fd8e56c2da00bbcdbdd7afa6f0e4dc10 100644 (file)
--- 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