tree e1faca4a941e6acda55aa724dfffecc934f395f7
parent 81ced1c9bf97270f96c751fb6cba89dc3caf8810
author danrubel <danrubel@google.com> 1556990086 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1556990086 +0000

cleanup scanner configuration flags

* rename enableGtGtGt to enableTripleShift
* remove unused enableGtGtGtEq field

Change-Id: I0fa881c45619067ec3a292acbff984db555aa43e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/101362
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Dan Rubel <danrubel@google.com>