diff options
author | John-Mark Bell <jmb@netsurf-browser.org> | 2022-06-01 01:15:14 +0100 |
---|---|---|
committer | John-Mark Bell <jmb@netsurf-browser.org> | 2022-11-03 13:22:32 +0000 |
commit | 6765e3cf05f87bc4aaecae5c223b430a72d93a3a (patch) | |
tree | cb98535af184511062be8b7f020b60a623d4472e /arm-riscos-gnueabihf/fetchsrc | |
parent | 671590abe5fe58e1d9524fdf0ce85ae18d6e0f62 (diff) | |
download | toolchains-6765e3cf05f87bc4aaecae5c223b430a72d93a3a.tar.gz toolchains-6765e3cf05f87bc4aaecae5c223b430a72d93a3a.tar.bz2 |
First cut at GCC 10/arm-riscos-gnueabihf
Diffstat (limited to 'arm-riscos-gnueabihf/fetchsrc')
-rwxr-xr-x | arm-riscos-gnueabihf/fetchsrc | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/arm-riscos-gnueabihf/fetchsrc b/arm-riscos-gnueabihf/fetchsrc new file mode 100755 index 0000000..92ae5bf --- /dev/null +++ b/arm-riscos-gnueabihf/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="https://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 |