From: Morgan Deters Date: Thu, 25 Oct 2012 16:26:24 +0000 (+0000) Subject: One of my changes to the build system yesterday broke the nightly build because: X-Git-Tag: cvc5-1.0.0~7673 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=053bbbb127ba6c9ce08e76f8e707f4ce248bb99b;p=cvc5.git One of my changes to the build system yesterday broke the nightly build because: 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. --- diff --git a/configure.ac b/configure.ac index f94f07419..44b2c0a31 100644 --- 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)])