summaryrefslogtreecommitdiffhomepage
path: root/pkg/sentry/mm/BUILD
diff options
context:
space:
mode:
authorFabricio Voznika <fvoznika@google.com>2019-02-28 18:37:34 -0800
committerShentubot <shentubot@google.com>2019-02-28 18:38:34 -0800
commit3b44377eda93137212e6e437b62dcb216566b858 (patch)
tree5270dbf4e618e6cc5421c80a6922e20659fd386f /pkg/sentry/mm/BUILD
parent3851705a73235baa6d153970c95921d17a39d77a (diff)
Fix "-c dbg" build break
Remove allocation from vCPU.die() to save stack space. Closes #131 PiperOrigin-RevId: 236238102 Change-Id: Iafca27a1a3a472d4cb11dcda9a2060e585139d11
Diffstat (limited to 'pkg/sentry/mm/BUILD')
0 files changed, 0 insertions, 0 deletions