Merge branch 'master' of git://git.netsurf-browser.org/toolchains into chris/http2chris/http2

1 files changed, 16 insertions, 0 deletions

diff --git a/arm-unknown-riscos/fetchsrc b/arm-unknown-riscos/fetchsrc
new file mode 100755
index 0000000..e71d85f
--- /dev/null
+++ b/arm-unknown-riscos/fetchsrc
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+# 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