From 78dd401e00978ae5f76558965d9c536fc6fe63a2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 7 Aug 2014 12:53:14 -0400
Subject: [PATCH] Another build fix.

---
 Makefile.builds.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2