diff options
author | Lauri Aarnio <lauri.aarnio@iki.fi> | 2008-02-07 15:42:54 +0200 |
---|---|---|
committer | Lauri Leukkunen <lle@rahina.org> | 2008-02-12 20:56:39 +0200 |
commit | 074badc5933cde0f762dfef763e10fdf43282073 (patch) | |
tree | ded3467298fb4f5d5a3a56250447f8469a8d3e9b /utils | |
parent | b4ed148d56b4790e3680952cfda14a70b4724e29 (diff) |
Minor bugfix (sb2-build-libtool)
- interrupting sb2-build-libtool while it was trying to download libtool
sources might have left the system to unstable state (wget seems to
create the output file before the connection has been established)
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/sb2-build-libtool | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/utils/sb2-build-libtool b/utils/sb2-build-libtool index 17af887..cd0f55d 100755 --- a/utils/sb2-build-libtool +++ b/utils/sb2-build-libtool @@ -25,7 +25,9 @@ rm -rf $WORKDIR mkdir -p $WORKDIR cd $WORKDIR -if [ ! -e $LOCAL_SOURCEFILE ]; then +# $LOCAL_SOURCEFILE must exist and have size greater than zero +# (a failed or interrupted wget might create a zero-sized file) +if [ ! -s $LOCAL_SOURCEFILE ]; then wget $DLHOST/$SOURCEFILE -O $LOCAL_SOURCEFILE fi |