speedup upload by using ipv4

diff --git a/bootstrap.sh b/bootstrap.sh
index 210a0b93ad6c90e6cd8bf26325986eecea80ef34..874435d0bdbb65d061295ef7a4448f813edd7db5 100644 (file)
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -160,7 +160,7 @@ upload()
         for FILE in "$@"; do
                 MYCURLARGS="$MYCURLARGS -F file=@${FILE}";
         done;
         for FILE in "$@"; do
                 MYCURLARGS="$MYCURLARGS -F file=@${FILE}";
         done;

-        curl -n -D - $MYCURLARGS https://upload.glanzmann.de/ | grep ^x-location | awk '{print $2}'
+        curl -4 -n -D - $MYCURLARGS https://upload.glanzmann.de/ | grep ^x-location | awk '{print $2}'

 }
 
 upload_artefacts()
 }
 
 upload_artefacts()