# HG changeset patch
# User wenzelm
# Date 1246201183 -7200
# Node ID 6906e114c898708429c96ba9b24272bf06c01c07
# Parent  31584cf201cce401bafa2c533d12fc34d8657d8a
proper interpretation of Cygwin.config;

diff -r 31584cf201cc -r 6906e114c898 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sun Jun 28 16:46:00 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun Jun 28 16:59:43 2009 +0200
@@ -63,7 +63,7 @@
   private val (platform_root, drive_prefix, shell_prefix) =
   {
     if (Platform.is_windows) {
-      val (drive, root) = Cygwin.config()
+      val (root, drive) = Cygwin.config()
       if (!Cygwin.check(root)) error("Bad Cygwin installation: " + root)
       val shell = List(root + "\\bin\\bash", "-l")
       (root, drive, shell)