projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1f1dd56
)
One of my changes to the build system yesterday broke the nightly build because:
author
Morgan Deters
<mdeters@gmail.com>
Thu, 25 Oct 2012 16:26:24 +0000
(16:26 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Thu, 25 Oct 2012 16:26:24 +0000
(16:26 +0000)
1. The source tree was configured.
2. The builds directory was removed.
3. The source tree was re-configured.
Which led to a nasty dangling symlink that caused (3) to abort.
Fixed.
configure.ac
patch
|
blob
|
history
diff --git
a/configure.ac
b/configure.ac
index f94f07419495beaa1e300f1483c8e1ee543be3c0..44b2c0a31dc1825813407c9266af5958ac9971ed 100644
(file)
--- a/
configure.ac
+++ b/
configure.ac
@@
-379,7
+379,7
@@
echo ./config.status "\$@"
EOF
chmod +x config.reconfig
fi
- ln -sf "
builds/$target/$build_type/config.log" "
config.log"
+ ln -sf "
$target/$build_type/config.log" "builds/
config.log"
exit $exitval
else
AC_MSG_RESULT([this one (user-specified)])