From 53aaa78e51c163f54a5f55bcf54b2ec7627aa791 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 9 Sep 2014 14:37:40 -0400
Subject: Support 64-bit cygwin

---
 dev/make-sdk-win32.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh
index a0dec19faf..9f904cbaaf 100755
--- a/dev/make-sdk-win32.sh
+++ b/dev/make-sdk-win32.sh
@@ -27,7 +27,7 @@ glib_URL='http://dl.arirux.de/5/binaries32/'$glib
 gtk_URL='http://dl.arirux.de/5/binaries32/'$gtk
 camlp5_URL='http://pauillac.inria.fr/~ddr/camlp5/distrib/src/'$camlp5
 
-cygwin=setup-x86.exe
+cygwin=setup-${HOSTTYPE/i6/x}.exe
 cygwin_URL='http://cygwin.com/'$cygwin
 cygwin_PKGS=p7zip,zip,sed,make,mingw64-i686-gcc-g++,mingw64-i686-gcc-core,mingw64-i686-gcc,patch,rlwrap,libreadline6,diffutils
 
-- 
cgit v1.2.3