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 /Makefile | |
| 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.
Diffstat (limited to 'Makefile')
| -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 @:; \ |