diff options
author | Vincent Sanders <vince@kyllikki.org> | 2018-01-26 11:52:54 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2018-01-26 11:52:54 +0000 |
commit | 78a4513494d093f493072e185482afd41758aae1 (patch) | |
tree | 75a005a64742a0a28c7ffea6c6f3dea386c2d383 /arm-unknown-riscos/recipes/patches/gcc4/cloog-ppl-download.p | |
parent | 43963a8ca61715903a1d47cfba6b3c45ce4f3f03 (diff) | |
download | toolchains-78a4513494d093f493072e185482afd41758aae1.tar.gz toolchains-78a4513494d093f493072e185482afd41758aae1.tar.bz2 |
cache more source components on teh ci infrastructure
Diffstat (limited to 'arm-unknown-riscos/recipes/patches/gcc4/cloog-ppl-download.p')
-rw-r--r-- | arm-unknown-riscos/recipes/patches/gcc4/cloog-ppl-download.p | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/arm-unknown-riscos/recipes/patches/gcc4/cloog-ppl-download.p b/arm-unknown-riscos/recipes/patches/gcc4/cloog-ppl-download.p new file mode 100644 index 0000000..194ef7f --- /dev/null +++ b/arm-unknown-riscos/recipes/patches/gcc4/cloog-ppl-download.p @@ -0,0 +1,12 @@ +--- gcc4/Makefile.orig 2018-01-26 10:40:26.623881778 +0000 ++++ gcc4/Makefile 2018-01-26 10:41:24.141623273 +0000 +@@ -719,8 +719,7 @@ + # Download CLooG source: + $(SRCORIGDIR)/cloog-ppl-$(CLOOG_VERSION).tar.gz: + -mkdir -p $(SRCORIGDIR) +- cd $(SRCORIGDIR) && wget -c ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-$(CLOOG_VERSION).tar.gz +- touch $@ ++ wget -O $@ -c http://ci.netsurf-browser.org/toolchain/arm-unknown-riscos/cloog-ppl-$(CLOOG_VERSION).tar.gz + + # Download newlib source: + $(SRCORIGDIR)/newlib-$(NEWLIB_VERSION).tar.gz: |