samples/alphaev56-unknown-linux-gnu/reported.by
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Aug 11 20:07:18 2010 +0200 (2010-08-11)
branch1.8
changeset 2092 18da1aa1beab
parent 981 6bc168156c2b
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)
yann@579
     1
reporter_name="Ioannis E. VENETIS"
yann@1656
     2
reporter_url="http://sourceware.org/ml/crossgcc/2009-11/msg00109.html"
yann@981
     3
reporter_comment=""