# HG changeset patch
# User wenzelm
# Date 1316877519 -7200
# Node ID e30442a2b3b2da832b3ddd0397bdab9baeba463a
# Parent  aa9fe909d3221ad0f192b8e55aa6414ce20fcac5
standardize drive letters -- important for proper document node identification;

diff -r aa9fe909d322 -r e30442a2b3b2 src/Pure/System/standard_system.scala
--- a/src/Pure/System/standard_system.scala	Sat Sep 24 10:45:57 2011 +0200
+++ b/src/Pure/System/standard_system.scala	Sat Sep 24 17:18:39 2011 +0200
@@ -289,7 +289,7 @@
       val rest =
         posix_path match {
           case Cygdrive(drive, rest) =>
-            result_path ++= (drive + ":" + File.separator)
+            result_path ++= (drive.toUpperCase(Locale.ENGLISH) + ":" + File.separator)
             rest
           case Named_Root(root, rest) =>
             result_path ++= File.separator