diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2019-02-28 18:37:34 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-02-28 18:38:34 -0800 |
| commit | 3b44377eda93137212e6e437b62dcb216566b858 (patch) | |
| tree | 5270dbf4e618e6cc5421c80a6922e20659fd386f /.github | |
| parent | 3851705a73235baa6d153970c95921d17a39d77a (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 '.github')
0 files changed, 0 insertions, 0 deletions