diff options
author | Philip Hands <phil@hands.com> | 2016-05-26 21:31:36 +0200 |
---|---|---|
committer | Philip Hands <phil@hands.com> | 2016-05-26 21:39:53 +0200 |
commit | 362fc15df35cfe9db30d87361a53829e0050d972 (patch) | |
tree | 0c9ec2202c2d3f8de7fe5e9dd1e19b3d0c095607 | |
parent | 55c508517e402811861645e66674d0f922a1f8ef (diff) | |
download | jenkins.debian.net-362fc15df35cfe9db30d87361a53829e0050d972.tar.xz |
lvc: work around the .iso not belonging to jenkins
-rwxr-xr-x | bin/lvc.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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() { |