From 78a4513494d093f493072e185482afd41758aae1 Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@kyllikki.org>
Date: Fri, 26 Jan 2018 11:52:54 +0000
Subject: cache more source components on teh ci infrastructure

---
 arm-unknown-riscos/fetchsrc | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 arm-unknown-riscos/fetchsrc

(limited to 'arm-unknown-riscos/fetchsrc')

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
-- 
cgit v1.2.3