diff options
author | 2018-04-11 04:12:14 -0700 | |
---|---|---|
committer | 2018-04-11 04:13:26 -0700 | |
commit | c381cf17f797f485d7a2df4d085ecbec217c79a9 (patch) | |
tree | d082debc4915d9cacb84ca0ac5b7440832109df6 /src/test/java/com/google/devtools/build/lib/syntax/TypeTest.java | |
parent | 8a2cd73e1dc6284ba2580f0d1f4c7276e8c1de1b (diff) |
Introduce `--incompatible_disallow_slash_operator` to disable `/` operator.
RELNOTES:
The `/` operator is deprecated in favor of `//` (floor integer division).
Try the `--incompatible_disallow_slash_operator` flag to ensure your code
is forward-compatible.
PiperOrigin-RevId: 192430310
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib/syntax/TypeTest.java')
0 files changed, 0 insertions, 0 deletions