diff options
Diffstat (limited to 'util/docker/Makefile')
| -rw-r--r-- | util/docker/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/Makefile b/util/docker/Makefile index 8b1d0efb8d..cf14c0d5b4 100644 --- a/util/docker/Makefile +++ b/util/docker/Makefile @@ -83,7 +83,7 @@ docker-clean: clean-coreboot-containers @$(MAKE) clean-coreboot-images docker-cleanall: test-docker -ifeq($(Y),1) +ifeq ($(Y),1) @if [ -n "$$($(DOCKER) ps -a | grep -v "CONTAINER")" ]; then \ $(DOCKER) kill $$($(DOCKER) ps | grep -v "CONTAINER" | sed 's|\s.*$$||') ; \ $(DOCKER) rm $$($(DOCKER) ps -a | grep -v "CONTAINER" | sed 's|\s.*$$||'); \ |