aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools/build/lib/cmdline
diff options
context:
space:
mode:
authorGravatar pcloudy <pcloudy@google.com>2018-07-02 00:15:04 -0700
committerGravatar Copybara-Service <copybara-piper@google.com>2018-07-02 00:17:12 -0700
commit417260d2d3d5f8d264473c19f0c7c798f71adffe (patch)
tree316229f056ab7693ac5dd5511dac580611d0b5fa /src/main/java/com/google/devtools/build/lib/cmdline
parent4bf477eafc81a1064f45a40442d5dda73064f43d (diff)
Make RepositoryName comparison case-insensitive on Windows
Fixed https://github.com/bazelbuild/bazel/issues/5485 RELNOTES: None PiperOrigin-RevId: 202903823
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/cmdline')
-rw-r--r--src/main/java/com/google/devtools/build/lib/cmdline/RepositoryName.java8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/cmdline/RepositoryName.java b/src/main/java/com/google/devtools/build/lib/cmdline/RepositoryName.java
index b637cf6d84..1678c819fc 100644
--- a/src/main/java/com/google/devtools/build/lib/cmdline/RepositoryName.java
+++ b/src/main/java/com/google/devtools/build/lib/cmdline/RepositoryName.java
@@ -19,6 +19,7 @@ import com.google.common.cache.CacheBuilder;
import com.google.common.cache.CacheLoader;
import com.google.common.cache.LoadingCache;
import com.google.devtools.build.lib.skyframe.serialization.autocodec.AutoCodec;
+import com.google.devtools.build.lib.util.OS;
import com.google.devtools.build.lib.util.Pair;
import com.google.devtools.build.lib.util.StringCanonicalizer;
import com.google.devtools.build.lib.util.StringUtilities;
@@ -260,11 +261,18 @@ public final class RepositoryName implements Serializable {
if (!(object instanceof RepositoryName)) {
return false;
}
+
+ if (OS.getCurrent() == OS.WINDOWS) {
+ return name.toLowerCase().equals(((RepositoryName) object).name.toLowerCase());
+ }
return name.equals(((RepositoryName) object).name);
}
@Override
public int hashCode() {
+ if (OS.getCurrent() == OS.WINDOWS) {
+ return name.toLowerCase().hashCode();
+ }
return name.hashCode();
}
}