src/Pure/System/standard_system.scala
changeset 50299 f70b3712040f
parent 50203 00d8ad713e32
child 50650 8922afc54b3d
     1.1 --- a/src/Pure/System/standard_system.scala	Fri Nov 30 21:28:35 2012 +0100
     1.2 +++ b/src/Pure/System/standard_system.scala	Fri Nov 30 21:30:24 2012 +0100
     1.3 @@ -9,7 +9,6 @@
     1.4  
     1.5  import java.lang.System
     1.6  import java.util.regex.Pattern
     1.7 -import java.util.Locale
     1.8  import java.net.URL
     1.9  import java.io.{File => JFile}
    1.10  
    1.11 @@ -94,7 +93,7 @@
    1.12        val rest =
    1.13          posix_path match {
    1.14            case Cygdrive(drive, rest) =>
    1.15 -            result_path ++= (drive.toUpperCase(Locale.ENGLISH) + ":" + JFile.separator)
    1.16 +            result_path ++= (Library.uppercase(drive) + ":" + JFile.separator)
    1.17              rest
    1.18            case Named_Root(root, rest) =>
    1.19              result_path ++= JFile.separator
    1.20 @@ -129,7 +128,7 @@
    1.21        jvm_path.replace('/', '\\') match {
    1.22          case Platform_Root(rest) => "/" + rest.replace('\\', '/')
    1.23          case Drive(letter, rest) =>
    1.24 -          "/cygdrive/" + letter.toLowerCase(Locale.ENGLISH) +
    1.25 +          "/cygdrive/" + Library.lowercase(letter) +
    1.26              (if (rest == "") "" else "/" + rest.replace('\\', '/'))
    1.27          case path => path.replace('\\', '/')
    1.28        }