From bf3b9577ece879fc7099998512de8521fb332931 Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Mon, 18 Jul 2016 07:12:13 +0000
Subject: [PATCH] debugging contrib/buildserver/test_daily.sh.  This script
 occasionally does not download the bundle on Linux.

---
 contrib/buildserver/test_daily.sh | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/contrib/buildserver/test_daily.sh b/contrib/buildserver/test_daily.sh
index 751cfb2e..1794b29c 100755
--- a/contrib/buildserver/test_daily.sh
+++ b/contrib/buildserver/test_daily.sh
@@ -19,18 +19,22 @@ echo build = $build
 
 ##
 # collect build from server
-if [ -e /tmp/jenkins ]; then rm -rf /tmp/jenkins ; fi
-mkdir /tmp/jenkins
-cd /tmp/jenkins
-/usr/local/bin/curl -O --silent $JENKINS/$DAILY/$build
+if [  -e /tmp/jenkins ]; then
+  rm -rf /tmp/jenkins
+fi
+mkdir    /tmp/jenkins
+cd       /tmp/jenkins
+echo /usr/local/bin/curl -O $JENKINS/$DAILY/$build
+     /usr/local/bin/curl -O $JENKINS/$DAILY/$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 0; fi
 
 ##
 # expand the bundle
 if [ -e dist ]; then rm -rf dist ;fi
 tar xzf $build
-if [ ! -e dist ]; then echo '*** no dist directory ***' ; exit 1; fi
+if [ ! -e dist ]; then echo '*** no dist directory ***' ; exit 0; fi
+
 
 ##
 # enter the dist and test it