Download failure with curl no longer create a file

AMDmi3 · Mar 17, 2017 · 9932c2b · 9932c2b
1 parent b549d2b
commit 9932c2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/interactiveutil.jl b/base/interactiveutil.jl
@@ -589,7 +589,7 @@ else
         if downloadcmd == :wget
             run(`wget -O $filename $url`)
         elseif downloadcmd == :curl
-            run(`curl -o $filename -L $url`)
+            run(`curl -L -f -o $filename $url`)
         elseif downloadcmd == :fetch
             run(`fetch -f $filename $url`)
         else