diff options
| author | Ayush Ranjan <ayushranjan@google.com> | 2020-07-24 17:46:55 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-07-24 17:49:19 -0700 |
| commit | 7dd8d87c9626af792efdb5bb9621c7814db887d7 (patch) | |
| tree | 8f809db09542d89302d4a55ad4f2161dedb8a43e /website/BUILD | |
| parent | ad97134ce2deaae7ffded0ce1b78920fe960465d (diff) | |
Fix make dev
The "dev" target had been failing. The failure was being caused due to variable
overload of "RUNTIME".
PiperOrigin-RevId: 323106040
Diffstat (limited to 'website/BUILD')
0 files changed, 0 insertions, 0 deletions