From 5d0b8cf699d86f2c094b10a895f3612c73604321 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 8 Aug 2014 12:13:57 -0400 Subject: [PATCH] Fix a build issue for some configurations, thanks Tianyi. --- Makefile.builds.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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.* \ . -- 2.30.2