| commit | af25fd78e8edcf0d46acdd5f45d1379770753b30 | [log] [tgz] |
|---|---|---|
| author | Martin Roth <gaumless@gmail.com> | Fri Dec 30 16:12:30 2016 -0700 |
| committer | Martin Roth <martinroth@google.com> | Fri Jan 27 19:40:41 2017 +0100 |
| tree | 966b2069d85fa35ddda99365053b3751f7e8cddd | |
| 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>