From: Brian Norris <banorris@uci.edu>
Date: Wed, 10 Oct 2012 22:50:48 +0000 (-0700)
Subject: mpmc-queue: add top-level Makefile
X-Git-Tag: pldi2013~45
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=c446c39fc3b95192f9504d746862b946084a1dfe;hp=063050ea4ff7160a3426d8ec9757006720285e0f

mpmc-queue: add top-level Makefile
---

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