projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e73d65) | patch
Fix builds/ links to survive configuring twice with different prefixes
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 15 Feb 2013 17:00:29 +0000 (12:00 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 15 Feb 2013 17:37:23 +0000 (12:37 -0500)
commit814526633b07146d4f0f9e6d24583bd6e645d8cd
treeff51d312afb7d57bb9a9deac6993241cf4578e6ftree
parent1e73d6564200fb6f4550b217ce5a060242f6ecafcommit | diff
Fix builds/ links to survive configuring twice with different prefixes
Makefile.builds.in diff | blob | history