projects
/
model-checker-benchmarks.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
7ff12dc9316fad59a633e573b1f1643a5c858e8b
[model-checker-benchmarks.git]
/
Makefile
1
DIRS := barrier mcs-lock
2
3
.PHONY: $(DIRS)
4
5
all: $(DIRS)
6
7
clean: $(DIRS:%=clean-%)
8
9
$(DIRS):
10
$(MAKE) -C $@
11
12
clean-%:
13
-$(MAKE) -C $* clean