commit 417260d2d3d5f8d264473c19f0c7c798f71adffe
author pcloudy <pcloudy@google.com> Mon Jul 02 00:15:04 2018 -0700
committer Copybara-Service <copybara-piper@google.com> Mon Jul 02 00:17:12 2018 -0700
tree 316229f056ab7693ac5dd5511dac580611d0b5fa
parent 4bf477eafc81a1064f45a40442d5dda73064f43d

Make RepositoryName comparison case-insensitive on Windows

Fixed https://github.com/bazelbuild/bazel/issues/5485

RELNOTES: None
PiperOrigin-RevId: 202903823

src/main/java/com/google/devtools/build/lib/cmdline/RepositoryName.java

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 b637cf6..1678c81 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.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 @@
     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();
   }
 }