Whip post 1.5.3.3 maintenance series into shape.

diff --git a/git-clone.sh b/git-clone.sh
index 18003ab4b39ad0a7848cc20db2f6ad55e1291264..5e582fe247892fa7dffc44556c939863c36edc35 100755 (executable)
--- a/git-clone.sh
+++ b/git-clone.sh
@@ -34,7 +34,11 @@ fi
 
 http_fetch () {
        # $1 = Remote, $2 = Local
-       curl -nsfL $curl_extra_args "$1" >"$2"
+       curl -nsfL $curl_extra_args "$1" >"$2" ||
+               case $? in
+               126|127) exit ;;
+               *)       return $? ;;
+               esac
 }
 
 clone_dumb_http () {