diff options
| author | Michael Pratt <mpratt@google.com> | 2018-12-11 16:11:53 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-12-11 16:12:41 -0800 |
| commit | 24c1158b9c21f7f8b7126e810d623a518422052e (patch) | |
| tree | 960457b3b0476b1b9c61710f9526db953ba80f17 /docs | |
| parent | 2b6df6a2049e839e39717f90c1760f3d410c98f1 (diff) | |
Add "trace signal" option
This option is effectively equivalent to -panic-signal, except that the
sandbox does not die after logging the traceback.
PiperOrigin-RevId: 225089593
Change-Id: Ifb1c411210110b6104613f404334bd02175e484e
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions