ms-queue result

[model-checker-benchmarks.git] / ms-queue / Makefile

diff --git a/ms-queue/Makefile b/ms-queue/Makefile
index 55a4edb65e06876a395593e05d42dcede8bd4190..566aee05af368c0ec31ab138ce2abcfcac68b4b7 100644 (file)
--- a/ms-queue/Makefile
+++ b/ms-queue/Makefile
@@ -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