diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 11:18:13 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 7cdcef25d7fcb35b5fc96c678d21b410ae342acc (patch) | |
| tree | 8946a0450bdfb06bd3ff7527634ea78dab9a1d51 /scripts/build/p-llvm-linux-ubuntu.inc | |
| parent | 191dab872c56da0933a13db37df8a446d7bda233 (diff) | |
| download | klee-7cdcef25d7fcb35b5fc96c678d21b410ae342acc.tar.gz | |
Delete Docker instance after system detection ran
Don't keep the docker instance for detecting the system around to avoid stale terminated containers.
Diffstat (limited to 'scripts/build/p-llvm-linux-ubuntu.inc')
0 files changed, 0 insertions, 0 deletions