Skip to content

Commit e755556

Browse files
committed
give wget a custom user agent
1 parent 9acf8a8 commit e755556

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

build-devkit.sh

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -100,10 +100,10 @@ INSTALLDIR=/opt/devkitpro
100100

101101
[ ! -z "$INSTALLDIR" ] && mkdir -p $INSTALLDIR && touch $INSTALLDIR/nonexistantfile && rm $INSTALLDIR/nonexistantfile || exit 1;
102102

103-
if test "`curl -V`"; then
103+
if test "`wget -V`"; then
104+
FETCH='wget -U "dkp-buildscript"'
105+
elif test "`curl -V`"; then
104106
FETCH="curl -f -L -O"
105-
elif test "`wget -V`"; then
106-
FETCH=wget
107107
else
108108
echo "ERROR: Please make sure you have wget or curl installed."
109109
exit 1

0 commit comments

Comments
 (0)