diff --git a/dev/docker/Dockerfile b/dev/docker/Dockerfile index 23c29c91e5646bdd75c91f20e2b16de187471103..6484149c4630d60f0b4b5869944d50b2a4ca70ee 100644 --- a/dev/docker/Dockerfile +++ b/dev/docker/Dockerfile @@ -22,6 +22,7 @@ RUN /init/install.sh \ git \ make \ patch \ + tar \ unzip \ wget