# HG changeset patch
# User wenzelm
# Date 1506767321 -7200
# Node ID 56b92ce30d87926cfe22e4a93b98e3691f9c19e8
# Parent  5223317b8c5627840f7ee60c8b990cd9563a0492
updated to x86_64-cygwin;

diff -r 5223317b8c56 -r 56b92ce30d87 src/Pure/Admin/build_cygwin.scala
--- a/src/Pure/Admin/build_cygwin.scala	Sat Sep 30 11:49:00 2017 +0200
+++ b/src/Pure/Admin/build_cygwin.scala	Sat Sep 30 12:28:41 2017 +0200
@@ -27,7 +27,7 @@
         val cygwin_isabelle = cygwin + Path.explode("isabelle")
         Isabelle_System.mkdirs(cygwin_isabelle)
 
-        val cygwin_exe_name = mirror + "/setup-x86.exe"
+        val cygwin_exe_name = mirror + "/setup-x86_64.exe"
         val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe")
         Bytes.write(cygwin_exe,
           try { Bytes.read(Url(cygwin_exe_name)) }