X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=Makefile;h=4c96e107d2a0fcdf3e7c00d2c30220f64d4d658d;hb=refs%2Fheads%2Fnew-bench;hp=e89a8f2bccb9f3102e1209707f9d7a44a564efb2;hpb=7a518b9b39c286f0e6904d4573be3545d232e36e;p=model-checker-benchmarks.git

diff --git a/Makefile b/Makefile
index e89a8f2..4c96e10 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 DIRS := barrier mcs-lock mpmc-queue spsc-queue spsc-bugfix linuxrwlocks \
 	dekker-fences chase-lev-deque ms-queue chase-lev-deque-bugfix \
-	concurrent-hashmap seqlock spsc-example
+	concurrent-hashmap seqlock spsc-example spsc-queue-scfence \
+	treiber-stack
 
 .PHONY: $(DIRS)