diff options
| author | Michael Rodger <github@atinyhedgehog.za.net> | 2013-10-13 21:06:36 +0000 |
|---|---|---|
| committer | Amaury Pouly <amaury.pouly@gmail.com> | 2013-10-19 13:06:04 +0200 |
| commit | 6845f6c3969f44275a4255d6d4251660dc735dd1 (patch) | |
| tree | 76c96eb945c1edc009732db73e245f40eb2d3e4e | |
| parent | 4ead0344c678cd86dd283f556ef2048306054429 (diff) | |
| download | rockbox-6845f6c3969f44275a4255d6d4251660dc735dd1.tar.gz rockbox-6845f6c3969f44275a4255d6d4251660dc735dd1.zip | |
Include 60s timeout for wget commands in rockboxdev.sh
Added a 60s timeout to the script to avoid having to wait for ages when a download stalls.
Change-Id: I97f0aafe4eac0fb3cfc83805c99d19f1ef02b9f9
Reviewed-on: http://gerrit.rockbox.org/636
Reviewed-by: Kevin Zheng <kevinz5000@gmail.com>
Tested-by: Michael Rodger <rockbox@atinyhedgehog.za.net>
Reviewed-by: Amaury Pouly <amaury.pouly@gmail.com>
| -rwxr-xr-x | tools/rockboxdev.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/rockboxdev.sh b/tools/rockboxdev.sh index 7a43be0a96..3d19863e21 100755 --- a/tools/rockboxdev.sh +++ b/tools/rockboxdev.sh | |||
| @@ -71,7 +71,7 @@ getfile() { | |||
| 71 | if test -n "$tool"; then | 71 | if test -n "$tool"; then |
| 72 | # wget download | 72 | # wget download |
| 73 | echo "ROCKBOXDEV: Downloading $2/$1 using wget" | 73 | echo "ROCKBOXDEV: Downloading $2/$1 using wget" |
| 74 | $tool -O $dlwhere/$1 $2/$1 | 74 | $tool -T 60 -O $dlwhere/$1 $2/$1 |
| 75 | fi | 75 | fi |
| 76 | else | 76 | else |
| 77 | # curl download | 77 | # curl download |