From 80376d3a4d0f88441662ac4493d4e7aea5483d5b Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Fri, 31 Jan 2014 23:36:26 +0100
Subject: [PATCH] Move libtool to correct location on jenkins Mac

---
 src/build/jenkins.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/build/jenkins.sh b/src/build/jenkins.sh
index d4c4ce751..aabcb4701 100644
--- a/src/build/jenkins.sh
+++ b/src/build/jenkins.sh
@@ -44,9 +44,12 @@ then
     
 	curl -L http://ftpmirror.gnu.org/libtool/libtool-2.4.2.tar.gz | tar -xz > /dev/null
 	cd libtool-2.4.2
-	./configure && make
+	./configure > /dev/null
+	make > /dev/null
+	mv libtool $COMPILEDIR/mac/libtool
 	cd ../
-	export LIBTOOL=$(find "./libtool-2.4.2" -name libtool)
+	rm -rf libtool-2.4.2
+	export LIBTOOL="$COMPILEDIR/mac/libtool"
 	$LIBTOOL --version
     $SCRIPT mac curl