diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-25 12:27:47 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-28 17:32:15 +0100 |
| commit | 4562e0c3a42ad3fbadc54c36a6e5a85afb39cb92 (patch) | |
| tree | 6ed318761127f32bd81b9697ca99be206b0d0e1c /executor/common_linux.h | |
| parent | d3747c722655480e783b482c959331238997733f (diff) | |
dashboard/config/linux: embed command line in config
Managing command line args separately is problematic for several reasons:
- creates non-trivial dependency on image build process
- not captured in C reproducers
- not captured on the syzbot dashboard
Embed cmdline in config. Really much simpler.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions