projects
/
model-checker-benchmarks.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
028a9466e4e660f520b300101f720553b8f3e01f
[model-checker-benchmarks.git]
/
Makefile
1
DIRS := barrier mcs-lock
2
3
.PHONY: subdirs $(DIRS)
4
5
all: $(DIRS)
6
7
$(DIRS):
8
$(MAKE) -C $@