projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
79015a0
)
neglected build system update from r848 (last commit)
author
Morgan Deters
<mdeters@gmail.com>
Thu, 2 Sep 2010 07:32:00 +0000
(07:32 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Thu, 2 Sep 2010 07:32:00 +0000
(07:32 +0000)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index a9d266d5a863f165687754b33aeaa4e9b142a1b8..bf95f419ecabd722b0f3dfa9ae66d780fef419b4 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-15,8
+15,8
@@
all %:
fi
# synonyms for "check"
-.PHONY:
regress
test
-
regress
test: check
+.PHONY: test
+test: check
submission:
if [ ! -e configure ]; then ./autogen.sh; fi