From: Brian Norris <banorris@uci.edu>
Date: Thu, 8 Nov 2012 17:52:10 +0000 (-0800)
Subject: mpmc-queue: fix make clean
X-Git-Tag: pldi2013~12
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=0c8437e6e1d1c333ed326acc5304a289c48f5443

mpmc-queue: fix make clean
---

diff --git a/mpmc-queue/Makefile b/mpmc-queue/Makefile
index 6636fcd..52847dd 100644
--- a/mpmc-queue/Makefile
+++ b/mpmc-queue/Makefile
@@ -9,4 +9,4 @@ all: $(TESTS)
 	$(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
 
 clean:
-	rm -f $(TESTNAME) *.o
+	rm -f $(TESTS) *.o