diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-10-07 21:38:56 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-10-07 21:38:56 +0200 |
| commit | fbaafcd20067dea49eab8775154daf0a845eba20 (patch) | |
| tree | 04a8105d40878bfaa8c07cd0f31db0dbe9b163ca /executor | |
| parent | 86ca054f055a739a775bd2d3fdc65f4d514039aa (diff) | |
manager: don't alter /proc/sys/debug/exception-trace
It should be handled by image (create-image.sh already sets it to 0).
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions