From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 7 Aug 2014 16:53:14 +0000 (-0400)
Subject: Another build fix.
X-Git-Tag: cvc5-1.0.0~6673
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=78dd401e00978ae5f76558965d9c536fc6fe63a2;p=cvc5.git

Another build fix.
---

diff --git a/Makefile.builds.in b/Makefile.builds.in
index ee0bd7f98..c818c05c6 100644
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -87,8 +87,8 @@ ifeq ($(CVC4_BUILD_LIBCOMPAT),yes)
 		.
 endif
 #	symlink the binaries
+	cd $(CURRENT_BUILD)/bin && \
 	for binary in $(CVC4_BINARIES); do \
-		cd $(CURRENT_BUILD)/bin && \
 		ln -sf ../src/main/$$binary \
 			. ; \
 	done