diff options
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/packages/PackageIdentifier.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/packages/PackageIdentifier.java b/src/main/java/com/google/devtools/build/lib/packages/PackageIdentifier.java index fd9d0eada3..8f5d45b748 100644 --- a/src/main/java/com/google/devtools/build/lib/packages/PackageIdentifier.java +++ b/src/main/java/com/google/devtools/build/lib/packages/PackageIdentifier.java @@ -208,7 +208,7 @@ public final class PackageIdentifier implements Comparable<PackageIdentifier>, S Preconditions.checkNotNull(repository); Preconditions.checkNotNull(pkgName); this.repository = repository; - this.pkgName = Canonicalizer.fragments().intern(pkgName); + this.pkgName = Canonicalizer.fragments().intern(pkgName.normalize()); } private Object writeReplace() throws ObjectStreamException { @@ -278,4 +278,4 @@ public final class PackageIdentifier implements Comparable<PackageIdentifier>, S .compare(pkgName, that.pkgName) .result(); } -}
\ No newline at end of file +} |