fix: ARCH name for 32x86

MOSEK · Sep 7, 2016 · f47e8c8 · f47e8c8
1 parent 6d31d74
commit f47e8c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/build.jl b/deps/build.jl
@@ -6,7 +6,7 @@ mskvminor = "0"
 
 
 mskplatform,distroext =
-  if Sys.ARCH == :x86
+  if Sys.ARCH == :i386 || Sys.ARCH == :i686
     if     is_linux()   "linux32x86",  ".tar.bz2"
     elseif is_windows() "win32x86",  ".zip"
     else   error("Platform not supported")