From 653e78db3aaa128ebe387c4ba3761c80bfcdbab9 Mon Sep 17 00:00:00 2001 From: ulfw Date: Fri, 21 Jun 2019 13:07:58 +0200 Subject: [PATCH] debug info for building --- deps/build.jl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/deps/build.jl b/deps/build.jl index f8f71dd..49192c6 100644 --- a/deps/build.jl +++ b/deps/build.jl @@ -152,7 +152,10 @@ mskbindir = hosturl = "https://www.mosek.com/downloads/default_dns.txt" mkpath(dldir) - success(download_cmd(hosturl, joinpath(dldir,"downloadhostname"))) || error("Failed to get MOSEK download host") + cmd = download_cmd(hosturl, joinpath(dldir,"downloadhostname")) + @info "Download cmd = $cmd" + run(cmd) + #success(download_cmd(hosturl, joinpath(dldir,"downloadhostname"))) || error("Failed to get MOSEK download host") downloadhost = open(joinpath(dldir,"downloadhostname"),"r") do f strip(read(f,String))