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

1 files changed, 16 insertions, 0 deletions

diff --git a/m5475-atari-mint/fetchsrc b/m5475-atari-mint/fetchsrc
new file mode 100755
index 0000000..bbe8f6b
--- /dev/null
+++ b/m5475-atari-mint/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}
+	return 1
+    fi
+fi