author | wenzelm |
Sat, 24 Sep 2011 17:18:39 +0200 | |
changeset 45072 | e30442a2b3b2 |
parent 45071 | aa9fe909d322 |
child 45073 | 9bcbdf987601 |
--- 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