diff options
-rw-r--r-- | lib1.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib1.sh b/lib1.sh index a54f6d3..5881a9a 100644 --- a/lib1.sh +++ b/lib1.sh @@ -3,7 +3,11 @@ set -e pre_fetch() { :; } do_fetch() { cd /cache - curl -L -f -C - -O $distfiles + for f in $distfiles; do + [ -f "${f##*/}" ] && continue + curl -L -f -o fetch.$$ $f + mv fetch.$$ ${f##*/} + done } post_fetch() { :; } |