|
|
- From eb1730afff9377a5f167d0738ad0b3aeba9634d0 Mon Sep 17 00:00:00 2001
- From: Eneas U de Queiroz <cote2004-github@yahoo.com>
- Date: Tue, 19 Mar 2019 18:27:10 -0300
- Subject: [PATCH] getnoddosdeviceprofiles: wget timestamping check
-
- Check if the --timestamping option is available to avoid an error in
- openwrt when wget is handled by uclient-fetch.
-
- Signed-off-by: Eneas U de Queiroz <cote2004-github@yahoo.com>
-
- diff --git a/tools/getnoddosdeviceprofiles b/tools/getnoddosdeviceprofiles
- index 337e351..174034f 100755
- --- a/tools/getnoddosdeviceprofiles
- +++ b/tools/getnoddosdeviceprofiles
- @@ -86,7 +86,12 @@ fi
- # That's also why we don't delete the downloaded file
- if [ "$WGET" != "" ]
- then
- - GETURL="$WGET --quiet --timestamping"
- + GETURL="$WGET --quiet"
- + # Make sure wget accepts --timestamping
- + if wget --help 2>&1 | egrep timestamping > /dev/null
- + then
- + GETURL="$GETURL --timestamping"
- + fi
- else
- if [ "$CURL" != "" ]
- then
|
