diff options
author | 2015-05-06 16:55:00 +0000 | |
---|---|---|
committer | 2015-05-07 14:04:10 +0000 | |
commit | a71d47046c4e9e95bfc69c33c9071d5f6ee536e5 (patch) | |
tree | fc4f49905483d4fc3b6c934d2f25e7a8923803d4 | |
parent | aa4922c4e5c1a96d38944d6351e0f1e343671e0d (diff) |
Normalize path fragment before saving it in package identifier.
--
MOS_MIGRATED_REVID=92934993
-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 +} |