diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-19 22:21:00 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-19 22:21:00 +0100 |
| commit | f8f24854e3ac2a59e892c48051af48ec43c0ef0c (patch) | |
| tree | c59a1de1214617a513f9cc7b799e84e06e3a9a8d | |
| parent | 492995614b4e75e5352cc1e54d3a648ceea19f19 (diff) | |
| download | ale-f8f24854e3ac2a59e892c48051af48ec43c0ef0c.zip | |
Fix how the Makefile checks the image ID.
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 @:; \ |