diff --git a/docker/Dockerfile b/docker/Dockerfile index adf956749a4710799dff47deb271aee48bf41ed4..7de2cdc64bd76aea6c8a51c483b048120fcad53f 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -25,6 +25,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ m4 \ pkg-config \ software-properties-common \ + python-is-python3 \ ssh \ unzip \ wget \