Merge branch 'master' into mono/atari-adjustmentsmono/atari-adjustments

1 files changed, 18 insertions, 0 deletions

diff --git a/sdk/fetchsrc b/sdk/fetchsrc
new file mode 100755
index 0000000..46b72b0
--- /dev/null
+++ b/sdk/fetchsrc
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+set -x
+
+# script to fetch toolchain source tar using ci.netsurf-browser.org as a cache
+
+# Usage fetchsrc <target> <source> <upstream> <output>
+
+NSSRV="http://ci.netsurf-browser.org/toolchain/"
+
+wget -q -O ${4} ${NSSRV}/${1}/${2}
+if [ $? -ne 0 ];then
+    wget -q -O ${4} ${3}
+    if [ $? -ne 0 ];then
+        rm ${4}
+	exit 1
+    fi
+fi