projects / model-checker-benchmarks.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 063050e)
mpmc-queue: add top-level Makefile
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 22:50:48 +0000 (15:50 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 22:50:48 +0000 (15:50 -0700)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 7ff12dc..6b08fb0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-DIRS := barrier mcs-lock
+DIRS := barrier mcs-lock mpmc-queue
 
 .PHONY: $(DIRS)
 
C++11 memory model checker benchmarks