From 22aefdbe833af68d9876a80e3d254881c0843744 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Fri, 23 Nov 2018 22:22:59 +0000 Subject: [PATCH] docker: Install wget in docker environment Signed-off-by: Michael Tremer --- tools/docker/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 02ec146c85..23a6f88e17 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 -- 2.39.5