--- a/src/Pure/Admin/build_cygwin.scala Mon Oct 05 21:15:58 2020 +0200
+++ b/src/Pure/Admin/build_cygwin.scala Mon Oct 05 22:07:25 2020 +0200
@@ -24,8 +24,7 @@
{
val cygwin = tmp_dir + Path.explode("cygwin")
val cygwin_etc = cygwin + Path.explode("etc")
- val cygwin_isabelle = cygwin + Path.explode("isabelle")
- Isabelle_System.make_directory(cygwin_isabelle)
+ val cygwin_isabelle = Isabelle_System.make_directory(cygwin + Path.explode("isabelle"))
val cygwin_exe_name = mirror + "/setup-x86_64.exe"
val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe")