Skip build

jump-dev · Nov 4, 2021 · e638a2f · e638a2f
1 parent edd62cd
commit e638a2f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/deps/build.jl b/deps/build.jl
@@ -156,7 +156,9 @@ function diagnose_gurobi_install()
     end
 end
 
-if haskey(ENV, "GUROBI_JL_SKIP_LIB_CHECK")
+if Sys.islinux()
+    # Use artifacts!
+elseif haskey(ENV, "GUROBI_JL_SKIP_LIB_CHECK")
     # Skip!
 elseif get(ENV, "JULIA_REGISTRYCI_AUTOMERGE", "false") == "true"
     write_depsfile("julia_registryci_automerge")