Merge "make curl fail on pypi errors"
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