#1109 and #1041 Only use /usr/local/bin/curl because I've built and installed 7.45.0 there.

v0.27.3
Robin Mills 10 years ago
parent 0e0dc9488b
commit df7b3a19eb

@ -30,7 +30,7 @@ fi
# figure out today's build # figure out today's build
# http://exiv2.dyndns.org:8080/userContent/builds/Daily # http://exiv2.dyndns.org:8080/userContent/builds/Daily
date=$(date '+%Y-%m-%d') date=$(date '+%Y-%m-%d')
build=$(curl --silent $JENKINS/$DAILY/ \ build=$(/usr/local/bin/curl --silent $JENKINS/$DAILY/ \
|xmllint --pretty 1 - | grep $PLATFORM \ |xmllint --pretty 1 - | grep $PLATFORM \
|grep $date | grep -v -e view | cut -d'"' -f 2 ) 2>/dev/null |grep $date | grep -v -e view | cut -d'"' -f 2 ) 2>/dev/null
@ -43,7 +43,7 @@ echo build = $build
if [ -e /tmp/jenkins ]; then rm -rf /tmp/jenkins ; fi if [ -e /tmp/jenkins ]; then rm -rf /tmp/jenkins ; fi
mkdir /tmp/jenkins mkdir /tmp/jenkins
cd /tmp/jenkins cd /tmp/jenkins
curl -O --silent $JENKINS/$DAILY/$build /usr/local/bin/curl -O --silent $JENKINS/$DAILY/$build
ls -alt $build ls -alt $build
if [ ! -e $build ]; then echo '*** $build has not been downloaded ***' ; exit 1; fi if [ ! -e $build ]; then echo '*** $build has not been downloaded ***' ; exit 1; fi

Loading…
Cancel
Save