diff --git a/docker/Dockerfile b/docker/Dockerfile index c9c0aaeaf..fcd2c5f62 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -5,8 +5,7 @@ RUN apt-get update \ && apt-get install -y \ time git-core build-essential gcc-multilib clang \ libncurses5-dev zlib1g-dev gawk flex gettext wget unzip python \ - python3 python3-pip python3-yaml libssl-dev rsync llvm llvm-12 \ - clang-12 \ + python3 python3-pip python3-yaml libssl-dev rsync \ && apt-get clean RUN git config --global user.email "you@example.com" RUN git config --global user.name "Your Name"