diff options
| author | Martin Roth <gaumless@gmail.com> | 2016-12-30 16:12:30 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-01-27 19:40:41 +0100 |
| commit | af25fd78e8edcf0d46acdd5f45d1379770753b30 (patch) | |
| tree | 966b2069d85fa35ddda99365053b3751f7e8cddd /util/docker/coreboot-jenkins-node | |
| parent | 27f3ce6337b293cfc7be0eb8592feb411cf2cc5f (diff) | |
util/docker: Update makefile with command to kill docker images
Kill running docker containers before trying to remove images or
containers.
Change-Id: Id2de90edbe5d0dc6ecb906be7101ad9744dbd11e
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: https://review.coreboot.org/17999
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/docker/coreboot-jenkins-node')
0 files changed, 0 insertions, 0 deletions