tree 2acfaefc527554780118d8dd9b3d1b674250ca7c
parent 84daac21e8efdcc0c4eb30fa15d4492cde67f636
author Paul Wankadia <junyer@google.com> 1570822566 -0700
committer Paul Wankadia <junyer@google.com> 1570822669 +0000

Make flags use the DEFINE_FLAG() style.

Change-Id: I5257acf15a15d2dc6dbcc76149505c5fea5b8def
Reviewed-on: https://code-review.googlesource.com/c/re2/+/46821
Reviewed-by: Paul Wankadia <junyer@google.com>