diff options
| author | Taras Madan <tarasmadan@google.com> | 2021-12-01 15:40:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-01 15:40:58 +0100 |
| commit | dddd578dccbcde3bcc2bce93edeb6142509facce (patch) | |
| tree | 3ca8755f239466ffcdb7abdc3a896e1e4d7b7890 /executor/executor.cc | |
| parent | d7d40ba85625e507bcd66fe249d20f2b28573058 (diff) | |
tools/syz-env: automatically remove the container on exit (#2900)
To see you garbage containers, call "docker ps -a".
To clean your system, use "docker container prune". In my case ~9GB.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions