diff options
| author | Dean Deng <deandeng@google.com> | 2020-07-22 15:10:17 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-07-22 15:13:03 -0700 |
| commit | 13c0cca50e061c9b9a3ae8e13e8baa0f29909370 (patch) | |
| tree | e5b0f28847d4234af126c27e6e6e3ce673504cc9 /tools/make_apt.sh | |
| parent | e1a04f84e864b9a5c8a51a7cdd32f8db5377aff1 (diff) | |
Skip RawHDRINCL tests that are blocking presubmits/releases.
Temporarily skip these, on bhaskherh@'s advice.
PiperOrigin-RevId: 322664955
Diffstat (limited to 'tools/make_apt.sh')
0 files changed, 0 insertions, 0 deletions