Browse Source

Merge pull request #6071 from bandi13/extraPackagesForDocker

Add in a few more utilities that we need
David Garske 1 year ago
parent
commit
619a587a7b
1 changed files with 1 additions and 1 deletions
  1. 1 1
      Docker/Dockerfile

+ 1 - 1
Docker/Dockerfile

@@ -3,7 +3,7 @@ FROM $DOCKER_BASE_IMAGE
 
 USER root
 
-RUN DEBIAN_FRONTEND=noninteractive apt update && apt install -y build-essential autoconf libtool git gdb iputils-ping
+RUN DEBIAN_FRONTEND=noninteractive apt update && apt install -y build-essential autoconf libtool git gdb iputils-ping clang lldb bsdmainutils
 
 ARG USER=docker
 ARG UID=1000