diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-17 14:06:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-06-17 14:41:15 +0200 |
| commit | 260cdaa2b2dcdca9cc9d84c1bc08d00d451c68cd (patch) | |
| tree | 712379c5d9350f3d2925f6033559d9ae3e5fb3f1 /executor/common.h | |
| parent | d5406e5fba13419c4257957507518f67dcdda579 (diff) | |
syz-manager/mgrconfig: remove output param
It was useful only for vm/local which was removed.
The param wasn't documented and if one tries to change it,
it will break manager in obscure way (i.e. spurious
"test machine is not executing programs" crashes).
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions