mirror of
https://github.com/dense-analysis/ale.git
synced 2026-10-25 23:27:27 +08:00
Fix how the Makefile checks the image ID.
This commit is contained in:
1 parent
492995614b
commit
f8f24854e3
1 file changed
+2
-1
@@ -3,7 +3,8 @@ CURRENT_IMAGE_ID = 107e4efc4267
|
|||||||
DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)"
|
DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)"
|
||||||
|
|
||||||
test-setup:
|
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
|
test: test-setup
|
||||||
@:; \
|
@:; \
|
||||||
|
|||||||
Reference in new issue
Block a user