Fix build rule.

timothy-king · Aug 25, 2014 · 1688e32 · 1688e32
1 parent 2d33d0e
commit 1688e32
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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