--- a/src/Pure/System/isabelle_system.scala Sun Jun 28 14:27:42 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala Sun Jun 28 15:39:51 2009 +0200
@@ -63,8 +63,8 @@
private val (platform_root, drive_prefix, shell_prefix) =
{
if (Platform.is_windows) {
- val root = Cygwin.root() getOrElse "C:\\cygwin"
- val drive = Cygwin.cygdrive() getOrElse "/cygdrive"
+ val (drive, root) = Cygwin.config()
+ if (!Cygwin.check(root)) error("Bad Cygwin installation: " + root)
val shell = List(root + "\\bin\\bash", "-l")
(root, drive, shell)
}