diff options
author | 2018-07-02 00:15:04 -0700 | |
---|---|---|
committer | 2018-07-02 00:17:12 -0700 | |
commit | 417260d2d3d5f8d264473c19f0c7c798f71adffe (patch) | |
tree | 316229f056ab7693ac5dd5511dac580611d0b5fa /src/main/java/com/google/devtools/build/lib/cmdline | |
parent | 4bf477eafc81a1064f45a40442d5dda73064f43d (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.java | 8 |
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(); } } |