diff options
author | Marc Bonnici <marc.bonnici@arm.com> | 2019-01-08 11:20:46 +0000 |
---|---|---|
committer | Marc Bonnici <marc.bonnici@arm.com> | 2019-01-10 13:21:16 +0000 |
commit | 22c237ebe96ccb8b0a5502a26172efe1d738b8c5 (patch) | |
tree | 9fe27f4aad3d432e1452cb3da4c93c5c078267ab | |
parent | ed95755af517ed15f161ba5179fbb4c8d7148ebb (diff) |
extras/Docker: Update to use latest release version.
Update the dockerfile to use the latest released versions of WA and Devlib.
-rw-r--r-- | extras/Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/Dockerfile b/extras/Dockerfile index cc0f7cf6..4c97e2c5 100644 --- a/extras/Dockerfile +++ b/extras/Dockerfile @@ -42,8 +42,8 @@ FROM ubuntu:17.10 # Please update the references below to use different versions of # devlib, WA or the Android SDK -ARG DEVLIB_REF=v1.0.0 -ARG WA_REF=v3.0.0 +ARG DEVLIB_REF=v1.1.0 +ARG WA_REF=v3.1.1 ARG ANDROID_SDK_URL=https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip RUN apt-get update |