From e755556799592a8a7ecf203041d984da26f632c0 Mon Sep 17 00:00:00 2001 From: Dave Murphy Date: Thu, 15 Jan 2026 17:45:02 +0000 Subject: [PATCH] give wget a custom user agent --- build-devkit.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build-devkit.sh b/build-devkit.sh index 4d6cdff..b47a38f 100755 --- a/build-devkit.sh +++ b/build-devkit.sh @@ -100,10 +100,10 @@ INSTALLDIR=/opt/devkitpro [ ! -z "$INSTALLDIR" ] && mkdir -p $INSTALLDIR && touch $INSTALLDIR/nonexistantfile && rm $INSTALLDIR/nonexistantfile || exit 1; -if test "`curl -V`"; then +if test "`wget -V`"; then + FETCH='wget -U "dkp-buildscript"' +elif test "`curl -V`"; then FETCH="curl -f -L -O" -elif test "`wget -V`"; then - FETCH=wget else echo "ERROR: Please make sure you have wget or curl installed." exit 1