aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java
diff options
context:
space:
mode:
authorGravatar Damien Martin-Guillerez <dmarting@google.com>2015-09-21 11:45:10 +0000
committerGravatar Damien Martin-Guillerez <dmarting@google.com>2015-09-21 11:47:35 +0000
commit45d18d4c93ca25d787c2cab41469a41bc807df59 (patch)
tree20c01f0447ab27a9ba31786fb4f03a4f083e25fa /src/main/java/com/google/devtools/build/lib/cmdline/PackageIdentifier.java
parentfdcb9ded6f20a3de17dc2811c1a1ae8203f890a8 (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.java8
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);