diff options
author | w0rp <devw0rp@gmail.com> | 2017-04-03 22:17:39 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-04-03 22:17:39 +0100 |
commit | 10d8b4bfd70562ebc48b7b1a72644dfe0292e9ab (patch) | |
tree | 774ed8ef55a1592ddd9cacaf291fe61a4a0dfd92 /Makefile | |
parent | 22307ccabc362ed9f6dd28e8921244709f10aa50 (diff) | |
download | ale-10d8b4bfd70562ebc48b7b1a72644dfe0292e9ab.zip |
Update the Makefile to use the latest Docker image
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ SHELL := /usr/bin/env bash IMAGE ?= w0rp/ale -CURRENT_IMAGE_ID = 26d48d06e5e8 +CURRENT_IMAGE_ID = 30a9967dbdb1 DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)" tests = test/*.vader test/*/*.vader test/*/*/*.vader test/*/*/*/*.vader |