diff --git a/src/PlatformEngines.jl b/src/PlatformEngines.jl index 8a12ee1ba5..dc2f096d1e 100644 --- a/src/PlatformEngines.jl +++ b/src/PlatformEngines.jl @@ -357,6 +357,7 @@ function download_verify( for i in 1:attempts try download(url, dest; verbose=verbose || !quiet_download) + break catch err @debug "download and verify failed on attempt $i/$attempts" url dest err # for system errors like `no space left on device` exit after first try