scripts/build/arch/mips.sh
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Wed Aug 11 20:07:18 2010 +0200 (2010-08-11) |
changeset 2080 |
eefacabd9e72 |
parent 964 |
0535f7bf1069
|
child 2118 |
034de6dca38f |
permissions |
-rw-r--r-- |
scripts: in case of failed download, remove partial files
It happens from time to time that the server mis-behaves, and breaks the
connection right in the middle of nowhere, for no good reason, leaving us
with a partial file, on which the extract pass would choke.
Remove partial downloads, to fail early.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>