patches/binutils/2.17/140-better_file_error.patch
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Wed Aug 11 20:07:18 2010 +0200 (2010-08-11) |
branch | 1.8 |
changeset 2092 |
18da1aa1beab |
parent 745 |
e445c00d134d
|
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>
(transplanted from eefacabd9e72f3d578e5dc5908026ed780f9a240)