# HG changeset patch
# User wenzelm
# Date 1443643277 -7200
# Node ID efe76f7f9162a2993be196c1ba2ad105e10f3511
# Parent  2d3d26e9b191bbff59cca47081cc500a41f4f552
proper Cygwin.init (amending e00e1bf23d03);

diff -r 2d3d26e9b191 -r efe76f7f9162 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Wed Sep 30 21:32:44 2015 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Sep 30 22:01:17 2015 +0200
@@ -69,6 +69,8 @@
           bootstrap_directory(cygwin_root, "CYGWIN_ROOT", "cygwin.root", "Cygwin root")
         else ""
 
+      if (Platform.is_windows) Cygwin.init(isabelle_root1, cygwin_root1)
+
       def set_cygwin_root()
       {
         if (Platform.is_windows)