summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e8376deb..6c6cdc6c 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,9 @@
IMAGE ?= w0rp/ale
+CURRENT_IMAGE_ID = 107e4efc4267
DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)"
test-setup:
- docker images -q $(IMAGE) || docker pull $(IMAGE)
+ if [ `docker images -q $(IMAGE)` != $(CURRENT_IMAGE_ID) ]; then docker pull $(IMAGE); fi
test: test-setup
@:; \