| commit | b1e4fdad75850a298cc02c42d703c4343112e9c9 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Thu Sep 07 17:51:23 2023 |
| committer | Paul Wankadia <junyer@google.com> | Thu Sep 07 17:56:13 2023 |
| tree | 63b8f6fa485035b4069407f7fd36b8470450328e | |
| parent | 33def667c586159f4081dadbbee8c6f4aef4eeeb [diff] |
Try plumbing the platform name a different way. Change-Id: Ic13a6ff61ec445c73483d55241ff42d90f9470b1 Reviewed-on: https://code-review.googlesource.com/c/re2/+/61870 Reviewed-by: Alex Chernyakhovsky <achernya@google.com> Reviewed-by: Paul Wankadia <junyer@google.com>