X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=barrier%2FMakefile;h=f3710a11d3d2b278b5cc5358f0e75fdb377c2a51;hb=ec4f36cd03b7ba4326a99770719bff27999549aa;hp=34dd9dfd8ef03832ce4037f9678166399a587949;hpb=66c6a6bc064c305840027fd6141ea14276c928c2;p=model-checker-benchmarks.git

diff --git a/barrier/Makefile b/barrier/Makefile
index 34dd9df..f3710a1 100644
--- a/barrier/Makefile
+++ b/barrier/Makefile
@@ -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