From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 8 Aug 2014 16:13:57 +0000 (-0400)
Subject: Fix a build issue for some configurations, thanks Tianyi.
X-Git-Tag: cvc5-1.0.0~6671
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d0b8cf699d86f2c094b10a895f3612c73604321;p=cvc5.git

Fix a build issue for some configurations, thanks Tianyi.
---

diff --git a/Makefile.builds.in b/Makefile.builds.in
index c818c05c6..eb27bcac8 100644
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -68,11 +68,11 @@ all:
 	ln -sf ../src/libcvc4.* \
 		../src/parser/libcvc4parser.* \
 		.
-	cd $(CURRENT_BUILD)/lib && \
+	-cd $(CURRENT_BUILD)/lib && \
 	test -d ../src/.libs && \
 	ln -sf ../src/.libs/libcvc4.* \
 		.
-	cd $(CURRENT_BUILD)/lib && \
+	-cd $(CURRENT_BUILD)/lib && \
 	test -d ../src/parser/.libs && \
 	ln -sf ../src/parser/.libs/libcvc4parser.* \
 		.
@@ -81,7 +81,7 @@ ifeq ($(CVC4_BUILD_LIBCOMPAT),yes)
 	cd $(CURRENT_BUILD)/lib && \
 	ln -sf ../src/compat/libcvc4compat.* \
 		.
-	cd $(CURRENT_BUILD)/lib && \
+	-cd $(CURRENT_BUILD)/lib && \
 	test -d ../src/compat/.libs && \
 	ln -sf ../src/compat/.libs/libcvc4compat.* \
 		.