projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f1dd56) | patch
One of my changes to the build system yesterday broke the nightly build because:
authorMorgan Deters <mdeters@gmail.com>
Thu, 25 Oct 2012 16:26:24 +0000 (16:26 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 25 Oct 2012 16:26:24 +0000 (16:26 +0000)
commit053bbbb127ba6c9ce08e76f8e707f4ce248bb99b
tree5fca293602c2dc3c9828e8eb1ac234e791a2a5d0tree
parent1f1dd56089446c0c370d2f34b7bb852f5a5d5c67commit | diff
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.
configure.ac diff | blob | history