X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ms-queue%2FMakefile;h=566aee05af368c0ec31ab138ce2abcfcac68b4b7;hb=28d17af30c170deda6f470b93d46dde123415fda;hp=34881f49ac5d2cab966b392d81fa5b3713423e12;hpb=1438eb7c0715e53611a717e593bfa3fe1bd30588;p=model-checker-benchmarks.git

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index 34881f4..566aee0 100644
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -2,7 +2,7 @@ include ../benchmarks.mk
 
 BENCH := queue
 
-NORMAL_TESTS := testcase1
+NORMAL_TESTS := testcase1 testcase2 testcase3
 
 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
 
@@ -23,4 +23,4 @@ $(NORMAL_TESTS): % : %.c $(BENCH).o
 	$(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
 
 clean:
-	rm -f *.o *.d $(TESTS)
+	rm -f *.o *.d $(TESTS) main