projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5946967
)
"make check" now places binaries in the proper place before doing the checks; this...
author
Morgan Deters
<mdeters@gmail.com>
Wed, 1 Sep 2010 22:24:55 +0000
(22:24 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Wed, 1 Sep 2010 22:24:55 +0000
(22:24 +0000)
Makefile.builds.in
patch
|
blob
|
history
diff --git
a/Makefile.builds.in
b/Makefile.builds.in
index 9dd9a314a6fbd9503676b745ed97cc1f1a9d8438..5e5beb9606494eab078aa617c98c879e2a99ce56 100644
(file)
--- a/
Makefile.builds.in
+++ b/
Makefile.builds.in
@@
-86,8
+86,8
@@
endif
test -e lib || ln -sfv ".$(libdir)" lib
test -e bin || ln -sfv ".$(bindir)" bin
-regress0 regress1 regress2 regress3: all
- (cd $(CURRENT_BUILD) && $(MAKE) $@)
+
check regress
regress0 regress1 regress2 regress3: all
+ (cd $(CURRENT_BUILD)
/test
&& $(MAKE) $@)
# any other target than the default doesn't do the extra stuff above
%: