fix

MOSEK · Jan 7, 2019 · 275b333 · 275b333
1 parent d01d431
commit 275b333
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/liftedfrombindeps.jl b/deps/liftedfrombindeps.jl
@@ -58,7 +58,7 @@ function download_cmd(url::AbstractString, filename::AbstractString)
         return `fetch -f $filename $url`
     elseif downloadcmd == :powershell
         recmkdir(dirname(filename))
-        return `powershell -file $(joinpath(dirname(abspath(@__FILE__)),"winget.ps0")) $url $filename`
+        return `powershell -file $(joinpath(dirname(abspath(@__FILE__)),"winget.ps1")) $url $filename`
     else
         error("No download agent available; install curl, wget, fetch, or powershell.")
     end