[tools] Clean up insensitive terms
Follow up on renamed configurations, porting: https://crrev.com/c/2565170 TBR=gsathya@chromium.org Bug: v8:10619,chromium:1097270 Change-Id: Ibfeb6ee817642b16d79e673b2d91d4142a2b6cd4 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2566761Reviewed-by: Michael Achenbach <machenbach@chromium.org> Commit-Queue: Michael Achenbach <machenbach@chromium.org> Cr-Commit-Position: refs/heads/master@{#71544}
Showing
Please
register
or
sign in
to comment