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 | |
| parent | 22307ccabc362ed9f6dd28e8921244709f10aa50 (diff) | |
| download | ale-10d8b4bfd70562ebc48b7b1a72644dfe0292e9ab.zip | |
Update the Makefile to use the latest Docker image
| -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 |