Fix a build issue for some configurations, thanks Tianyi.

diff --git a/Makefile.builds.in b/Makefile.builds.in
index c818c05c61b51eeeebf1078d1dcd5f9d45023223..eb27bcac8be3f80a35f3fa90190c363ec64bbd30 100644 (file)
--- 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.* \
                .