projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2ccaf2b
)
Makefile: rename variable to be more clear
author
Brian Norris
<banorris@uci.edu>
Thu, 6 Dec 2012 22:19:45 +0000
(14:19 -0800)
committer
Brian Norris
<banorris@uci.edu>
Thu, 6 Dec 2012 23:34:11 +0000
(15:34 -0800)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index c363876dfd3fef30a0f2a3ecef3832949854c023..9b20f4c8a65632c7d0f1c25e18417b38724c9ff2 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-64,16
+64,16
@@
PHONY += tests
tests: $(LIB_SO)
$(MAKE) -C $(TESTS_DIR)
tests: $(LIB_SO)
$(MAKE) -C $(TESTS_DIR)
-BENCH
MARKS
:= benchmarks
+BENCH
_DIR
:= benchmarks
PHONY += benchmarks
benchmarks: $(LIB_SO)
PHONY += benchmarks
benchmarks: $(LIB_SO)
- @if ! test -d $(BENCH
MARKS
); then \
- echo "Directory $(BENCH
MARKS
) does not exist" && \
+ @if ! test -d $(BENCH
_DIR
); then \
+ echo "Directory $(BENCH
_DIR
) does not exist" && \
echo "Please clone the benchmarks repository" && \
echo && \
exit 1; \
fi
echo "Please clone the benchmarks repository" && \
echo && \
exit 1; \
fi
- $(MAKE) -C $(BENCH
MARKS
)
+ $(MAKE) -C $(BENCH
_DIR
)
.PHONY: $(PHONY)
.PHONY: $(PHONY)