diff options
author | w0rp <devw0rp@gmail.com> | 2016-10-18 12:48:45 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2016-10-18 12:48:45 +0100 |
commit | a2b7bbc8f2f0dc777586222374ade95330fcb55f (patch) | |
tree | 03b23121beddb00b876cde15b9d0e0fd7c6c7eaa | |
parent | 02e42feeaafde1cb2677e798d898c58cc4c40a26 (diff) | |
download | ale-a2b7bbc8f2f0dc777586222374ade95330fcb55f.zip |
Add an ID into the Makefile so running tests locally will use the most up to date Docker image.
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 @:; \ |