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 /test/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 'test/BUILD')
0 files changed, 0 insertions, 0 deletions