commit fa41b5b47ebbf6f2d973bdde235cb58694a2103f
author Sean Dague <sean@dague.net> Thu Oct 08 06:05:20 2015 -0400
committer Sean Dague <sean@dague.net> Thu Oct 08 06:06:34 2015 -0400
tree 808c73b2beb7ed50774c27d5377f7950d6d4b8ee
parent 0280f6f6c83b45b06220050e0a9353dfe364ef18

make curl fail on pypi errors

This will make curl fail on pypi errors, and should prevent corrupt
images from pypi going offline for a few hours randomly, which it does
from time to time.

Closes-Bug: #1503909

Change-Id: Ib4a740b7d1772e1e36aa701e42d3ac0f0ee12883

tools/install_pip.sh

diff --git a/tools/install_pip.sh b/tools/install_pip.sh
index dd4e433..13c1786 100755
--- a/tools/install_pip.sh
+++ b/tools/install_pip.sh
@@ -69,7 +69,7 @@
             timecond="-z $LOCAL_PIP"
         fi
 
-        curl --retry 6 --retry-delay 5 \
+        curl -f --retry 6 --retry-delay 5 \
             $timecond -o $LOCAL_PIP $PIP_GET_PIP_URL || \
             die $LINENO "Download of get-pip.py failed"
         touch $LOCAL_PIP.downloaded