diff options
Diffstat (limited to 'support/download/dl-wrapper')
-rwxr-xr-x | support/download/dl-wrapper | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/support/download/dl-wrapper b/support/download/dl-wrapper index f1bb73a808..dc5b4b08db 100755 --- a/support/download/dl-wrapper +++ b/support/download/dl-wrapper @@ -43,6 +43,11 @@ main() { error "no output specified, use -o\n" fi + # If the output file already exists, do not download it again + if [ -e "${output}" ]; then + exit 0 + fi + # tmpd is a temporary directory in which backends may store intermediate # by-products of the download. # tmpf is the file in which the backends should put the downloaded content. |