aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java')
-rw-r--r--src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java b/src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java
index 4f94535acf..695282f003 100644
--- a/src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java
+++ b/src/main/java/com/google/devtools/build/lib/vfs/WindowsPathFragment.java
@@ -56,11 +56,14 @@ abstract class WindowsPathFragment extends PathFragment {
// primary separator char and do not use this.
private static final char EXTRA_SEPARATOR_CHAR = '\\';
+ private static boolean isDriveLetter(char c) {
+ return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z');
+ }
+
@Override
PathFragment create(String path) {
- // TODO(laszlocsomor): Character#isLetter returns true for some non ASCII characters.
char driveLetter =
- path.length() >= 2 && path.charAt(1) == ':' && Character.isLetter(path.charAt(0))
+ path.length() >= 2 && path.charAt(1) == ':' && isDriveLetter(path.charAt(0))
? Character.toUpperCase(path.charAt(0))
: '\0';
if (driveLetter != '\0') {