diff options
author | 2017-05-31 23:03:08 +0200 | |
---|---|---|
committer | 2017-06-01 14:08:48 +0200 | |
commit | ca600bf2d014650b1f1ecb5214878b09a0838086 (patch) | |
tree | 283a3f4fbb49c99654aa52627eb1a6b22a5d60e9 /src/main/java/com/google/devtools/build/lib/analysis/config/CompilationMode.java | |
parent | 105a47e0634cb348dd6ded5327e33f3b2b6ac5a9 (diff) |
Remove support of --no_ prefix for boolean flags.
The no_ prefix was initially undocumented, but its support has over time
lead to a number of inconsistencies.
RELNOTES: --no_ prefix no longer recognized.
PiperOrigin-RevId: 157631435
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/config/CompilationMode.java')
0 files changed, 0 insertions, 0 deletions