summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPhilip Hands <phil@hands.com>2016-05-26 21:31:36 +0200
committerPhilip Hands <phil@hands.com>2016-05-26 21:39:53 +0200
commit362fc15df35cfe9db30d87361a53829e0050d972 (patch)
tree0c9ec2202c2d3f8de7fe5e9dd1e19b3d0c095607
parent55c508517e402811861645e66674d0f922a1f8ef (diff)
downloadjenkins.debian.net-362fc15df35cfe9db30d87361a53829e0050d972.tar.xz
lvc: work around the .iso not belonging to jenkins
-rwxr-xr-xbin/lvc.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/lvc.sh b/bin/lvc.sh
index d7fc2975..28a2fd36 100755
--- a/bin/lvc.sh
+++ b/bin/lvc.sh
@@ -33,7 +33,10 @@ fetch_if_newer() {
echo "File exists, will only re-download if a newer one is available..."
curlopts="$curlopts -z $file"
fi
- curl $curlopts -o $file $url
+ curl $curlopts -o $file.new $url
+ if [ -e $file.new ] ; then
+ mv -f $file.new $file
+ fi
}
discard_snapshots() {