Description redacted.
--
MOS_MIGRATED_REVID=105050723
diff --git a/src/main/java/com/google/devtools/build/lib/vfs/Path.java b/src/main/java/com/google/devtools/build/lib/vfs/Path.java
index 8b8e9c0..aac68ee 100644
--- a/src/main/java/com/google/devtools/build/lib/vfs/Path.java
+++ b/src/main/java/com/google/devtools/build/lib/vfs/Path.java
@@ -1113,7 +1113,7 @@
previousb = b;
a = a.getParentDirectory();
b = b.getParentDirectory();
- } while (a != b); // This has to happen eventually.
+ } while (!a.equals(b)); // This has to happen eventually.
return previousa.name.compareTo(previousb.name);
}
}