diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 02ec146c8..23a6f88e1 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -13,7 +13,8 @@ RUN apt-get install -y \ flex \ gawk \ git \ - libz-dev + libz-dev \ + wget # Enable colors in git RUN git config --global color.ui auto