aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Janak Ramakrishnan <janakr@google.com>2015-05-06 16:55:00 +0000
committerGravatar Lukacs Berki <lberki@google.com>2015-05-07 14:04:10 +0000
commita71d47046c4e9e95bfc69c33c9071d5f6ee536e5 (patch)
treefc4f49905483d4fc3b6c934d2f25e7a8923803d4
parentaa4922c4e5c1a96d38944d6351e0f1e343671e0d (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.java4
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
+}