Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper Cygwin.init (amending e00e1bf23d03);
authorwenzelm
Wed, 30 Sep 2015 22:01:17 +0200
changeset 61295 efe76f7f9162
parent 61294 2d3d26e9b191
child 61296 371c117c2fea
proper Cygwin.init (amending e00e1bf23d03);
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle