src/Pure/Admin/build_cygwin.scala
changeset 66727 56b92ce30d87
parent 66529 f39e01e9c489
child 68374 8740e1241555
     1.1 --- a/src/Pure/Admin/build_cygwin.scala	Sat Sep 30 11:49:00 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_cygwin.scala	Sat Sep 30 12:28:41 2017 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4          val cygwin_isabelle = cygwin + Path.explode("isabelle")
     1.5          Isabelle_System.mkdirs(cygwin_isabelle)
     1.6  
     1.7 -        val cygwin_exe_name = mirror + "/setup-x86.exe"
     1.8 +        val cygwin_exe_name = mirror + "/setup-x86_64.exe"
     1.9          val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe")
    1.10          Bytes.write(cygwin_exe,
    1.11            try { Bytes.read(Url(cygwin_exe_name)) }