diff options
author | Adin Scannell <ascannell@google.com> | 2021-01-05 18:13:18 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-01-05 18:15:27 -0800 |
commit | ab32fa2481d84e3f390f2cd81e25c537756b7aa1 (patch) | |
tree | f193f68f63571edfe85104a8b2c583e33b2804a9 /tools/workspace_status.sh | |
parent | b9b99d3d26b0d4907e8d24b4a842b31a91151aab (diff) |
Make type sanity checking happen only in race builds.
This adds significant costs to startup, since it is done for
every type in the system. Since the state package already saves
sanity checks for race builds, use this for type registration.
PiperOrigin-RevId: 350259336
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions