diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2015-09-21 11:45:10 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2015-09-21 11:47:35 +0000 |
commit | 45d18d4c93ca25d787c2cab41469a41bc807df59 (patch) | |
tree | 20c01f0447ab27a9ba31786fb4f03a4f083e25fa /src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java | |
parent | fdcb9ded6f20a3de17dc2811c1a1ae8203f890a8 (diff) |
Enforce UTF-8 encoding in bootstrapping
This is breaking our CI system. Also removed the UTF-8 quotes.
--
MOS_MIGRATED_REVID=103534994
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java b/src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java index 89167dd433..a315716e59 100644 --- a/src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java +++ b/src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java @@ -111,8 +111,8 @@ public final class PackageIdentifier implements Comparable<PackageIdentifier>, S } pos++; - // Disallow strings starting with “/”, “./”, or “../” - // Disallow strings identical to ".", or “..” + // Disallow strings starting with "/", "./", or "../" + // Disallow strings identical to ".", or ".." if (name.charAt(pos) == '/') { return "workspace names are not allowed to start with '@/'"; } else if (name.charAt(pos) == '.') { @@ -131,8 +131,8 @@ public final class PackageIdentifier implements Comparable<PackageIdentifier>, S // This lexes the first letter a second time, to make sure it fulfills the general // workspace name criteria (as well as the more strict criteria for the beginning of a // workspace name). - // Disallow strings containing “//”, “/./”, or “/../” - // Disallow strings ending in “/”, "/.", or “/..” + // Disallow strings containing "//", "/./", or "/../" + // Disallow strings ending in "/", "/.", or "/.." // name = @( <alphanum> | [/._-] )* for (; pos < name.length(); pos++) { char c = name.charAt(pos); |