diff options
| author |  Lukacs Berki <lberki@google.com> | 2015-12-10 11:34:29 +0000 |
|---|---|---|
| committer | Lukacs Berki <lberki@google.com> | 2015-12-10 12:41:41 +0000 |
| commit | e19ee2743966069c6dcce375fe89b07835c34723 (patch) | |
| tree | 076446231d61b7467fe20fb620bc022d140cb309 /src/main/java/com/google/devtools/common/options/Options.java | |
| parent | d4b78d0f7c2d3e6714f82538eca30e2414e97fdc (diff) | |
Shuffle around all the constants related to the name of the //external package and the prefix of external packages in the execroot.
This is in preparation for renaming that path segment from "external" to "bazel-external" so that we can provide a symlink to it from the source tree so that the source tree looks like the execroot.
--
MOS_MIGRATED_REVID=109882753
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/Options.java')
0 files changed, 0 insertions, 0 deletions