Fix build rule.

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 2a51990f22f269da6df048377d915f72dc1d2d50..265556f4df865e347851d57dc241eb741b938f70 100644 (file)
--- 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