diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-25 12:09:54 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-25 12:09:54 -0400 |
commit | 1688e32c82663410beb8dcc9bce3419122a4a221 (patch) | |
tree | 92656aa445de4b5d537b40cfa84b333d1f4e87e2 /Makefile.builds.in | |
parent | 2d33d0ed288841a6a5ee21aa5b253f041deebf10 (diff) |
Fix build rule.
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index 2a51990f2..265556f4d 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -89,8 +89,12 @@ endif # symlink the binaries $(AM_V_at)cd $(CURRENT_BUILD)/bin && \ for binary in $(CVC4_BINARIES); do \ - ln -sf ../src/main/$$binary \ - . ; \ + if test -x ../src/main/$$binary; then \ + ln -sf ../src/main/$$binary \ + . ; \ + else \ + rm -f "$$binary"; \ + fi; \ done # set up builds/doc and builds/examples $(AM_V_at)rm -f bin; ln -sf $(CURRENT_BUILD)/bin bin |