diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-14 15:50:39 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-17 15:43:21 +0000 |
| commit | 2b78b22ae5f74d32b6e0da086af37389cf9761c8 (patch) | |
| tree | 1335aa23b2b8a6e925f0be62432be75f18285a21 /scripts/build/p-klee.inc | |
| parent | f7612f0cfd68a157a5998649d070ef03e62fb89e (diff) | |
| download | klee-2b78b22ae5f74d32b6e0da086af37389cf9761c8.tar.gz | |
Fix `true` invocation in case docker image could not be pushed
Diffstat (limited to 'scripts/build/p-klee.inc')
0 files changed, 0 insertions, 0 deletions