From 666418752fd8a69f5c8fb032faa4ef410eff9153 Mon Sep 17 00:00:00 2001 From: Shoghi Cervantes Date: Fri, 31 Jan 2014 23:45:19 +0100 Subject: [PATCH] fix 92dcb9080481529491985ce1a6a0f1f11fcbcfad --- src/build/jenkins.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/build/jenkins.sh b/src/build/jenkins.sh index 67833cd00..c7922cadb 100644 --- a/src/build/jenkins.sh +++ b/src/build/jenkins.sh @@ -49,9 +49,8 @@ then mv libtool $COMPILEDIR/mac/libtool cd ../ rm -rf libtool-2.4.2 - export LIBTOOL="$COMPILEDIR/mac/libtool" - export LIBTOOLIZE="glibtoolize" - $LIBTOOL --version + alias libtool="$COMPILEDIR/mac/libtool" + alias libtoolize="glibtoolize" $SCRIPT mac curl cp -r $COMPILEDIR/mac/{install.log,bin/*} $ARCHIVE/mac/