X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=barrier%2FMakefile;fp=barrier%2FMakefile;h=f3710a11d3d2b278b5cc5358f0e75fdb377c2a51;hb=063050ea4ff7160a3426d8ec9757006720285e0f;hp=34dd9dfd8ef03832ce4037f9678166399a587949;hpb=ca67665a06590d48352fd2c601004a39bd993ca8;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