diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 5cf2ff4ecc..5da04d881f 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -4,6 +4,9 @@ ARG DEBIAN_FRONTEND=noninteractive # We need libpython2.7 due to GDB tools RUN : \ + && apt-get update \ + && apt-get install -y software-properties-common \ + && add-apt-repository -y ppa:git-core/ppa \ && apt-get update \ && apt-get install -y \ apt-utils \