From 7073032fccfa98e2dae9b2130125a64618140b5d Mon Sep 17 00:00:00 2001 From: Xavier ASUS Date: Tue, 29 Oct 2019 23:34:42 +0100 Subject: wget or curl is selected according to system configuration Thanks to pacman from the ST community for the tip --- patch_binutils.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/patch_binutils.sh b/patch_binutils.sh index b5c621c..8df8a63 100755 --- a/patch_binutils.sh +++ b/patch_binutils.sh @@ -1,6 +1,7 @@ #!/bin/sh -wget -nc https://ftp.gnu.org/gnu/binutils/binutils-2.30.tar.xz -wget -nc https://ftp.gnu.org/gnu/gdb/gdb-8.1.tar.xz +which wget 2>/dev/null 1&>&2 && dl="wget -nc" || dl="curl -OLk --retry 5" +$dl ftp.gnu.org/gnu/binutils/binutils-2.30.tar.xz +$dl ftp.gnu.org/gnu/gdb/gdb-8.1.tar.xz mkdir -p binutils-2.30 tar -xvf gdb-8.1.tar.xz --strip-components=1 --directory=binutils-2.30 tar -xvf binutils-2.30.tar.xz -- cgit v1.2.3