X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=e89a8f2bccb9f3102e1209707f9d7a44a564efb2;hb=7c7e31a160e2327090e2a4ed74d48fbae4ae20e9;hp=028a9466e4e660f520b300101f720553b8f3e01f;hpb=43509b349e5d7e4d7044ec462cebe11535d9dd54;p=model-checker-benchmarks.git diff --git a/Makefile b/Makefile index 028a946..e89a8f2 100644 --- a/Makefile +++ b/Makefile @@ -1,8 +1,15 @@ -DIRS := barrier mcs-lock +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 -.PHONY: subdirs $(DIRS) +.PHONY: $(DIRS) all: $(DIRS) +clean: $(DIRS:%=clean-%) + $(DIRS): $(MAKE) -C $@ + +clean-%: + -$(MAKE) -C $* clean