diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2017-01-20 13:27:26 +0000 |
---|---|---|
committer | Vladimir Moskva <vladmos@google.com> | 2017-01-20 13:29:42 +0000 |
commit | b46631bcc83c02988d1993c671b67dc8e6b86fe7 (patch) | |
tree | 6a86f3f7b6d7675257e2a0644cd61f0b9c5a9926 /third_party/checker_framework_javacutil | |
parent | 1cd2096284959ead26687d1d58b695d2abffb8e2 (diff) |
Fix regex condition in the bootstrap script.
Bootstrap is broken at HEAD but that was hidden by another change.
--
PiperOrigin-RevId: 145075041
MOS_MIGRATED_REVID=145075041
Diffstat (limited to 'third_party/checker_framework_javacutil')
0 files changed, 0 insertions, 0 deletions