bench.sh: don't automatically log to file
[model-checker-benchmarks.git] / barrier / Makefile
index 34dd9df..f3710a1 100644 (file)
@@ -1,11 +1,11 @@
 include ../benchmarks.mk
 
-BIN = barrier
+TESTNAME = barrier
 
-all: barrier
+all: $(TESTNAME)
 
-barrier: barrier.cc barrier.h
+$(TESTNAME): $(TESTNAME).cc $(TESTNAME).h
        $(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
 
 clean:
-       rm -f $(BIN) *.o
+       rm -f $(TESTNAME) *.o