From 346a3dd6f5771281e28f108eed437d7b862dc71e Mon Sep 17 00:00:00 2001 From: Nishanth Prakash Date: Wed, 20 Apr 2016 12:43:07 +0200 Subject: [PATCH] include pull to the openhpi/co_execenv_java_antlr docker image in provision.sh --- provision.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/provision.sh b/provision.sh index 974924d2..2fbb3b69 100644 --- a/provision.sh +++ b/provision.sh @@ -41,6 +41,7 @@ docker pull openhpi/docker_ruby docker pull openhpi/docker_python docker pull openhpi/co_execenv_python docker pull openhpi/co_execenv_java +docker pull openhpi/co_execenv_java_antlr # rvm apt-get install -y git-core curl zlib1g-dev build-essential libssl-dev libreadline-dev libyaml-dev libsqlite3-dev sqlite3 libxml2-dev libxslt1-dev libcurl4-openssl-dev python-software-properties libffi-dev