From f8f24854e3ac2a59e892c48051af48ec43c0ef0c Mon Sep 17 00:00:00 2001 From: w0rp Date: Wed, 19 Oct 2016 22:21:00 +0100 Subject: [PATCH] Fix how the Makefile checks the image ID. --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6c6cdc6c..50d5e63e 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,8 @@ CURRENT_IMAGE_ID = 107e4efc4267 DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)" test-setup: - if [ `docker images -q $(IMAGE)` != $(CURRENT_IMAGE_ID) ]; then docker pull $(IMAGE); fi + docker images -q w0rp/ale | grep ^$(CURRENT_IMAGE_ID) > /dev/null || \ + docker pull $(IMAGE) test: test-setup @:; \