tree 086318c7f2830d838293adf7cae14af367529fd6
parent ea36c398a99b00a2018987e0d363533989cb8e67
author Paul Wankadia <junyer@google.com> 1566142143 -0700
committer Paul Wankadia <junyer@google.com> 1566142182 +0000

Argh. Try a different flag.

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