diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-01-29 12:50:05 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-01-29 15:48:16 +0100 |
| commit | 7de5d7d8442f187ab8eb59a4df93863f1390398a (patch) | |
| tree | f0b3b894ef83e3a0b8c5476e4859c78a9822bbe6 /sys/linux/dev_input.txt.const | |
| parent | 785bbf9f39813fafd09ba10e1d3a6a1f2ff291c2 (diff) | |
tools/docker/syzbot: remove grub packages
Don't install grub packages, grub is not working inside of containers.
Add psmisc for ps.
Diffstat (limited to 'sys/linux/dev_input.txt.const')
0 files changed, 0 insertions, 0 deletions
