Update Dockerfile (#5267)

Added Ninja build tool.
HDFGroup · Jan 24, 2025 · 77e2175 · 77e2175
1 parent d84337a
commit 77e2175
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -2,4 +2,4 @@ FROM mcr.microsoft.com/devcontainers/base:debian
 
 RUN apt-get update && apt-get -y install --no-install-recommends \
   build-essential cmake cmake-curses-gui doxygen git graphviz \
-  less libtool-bin libyajl-dev mpi-default-dev valgrind wget
+  less libtool-bin libyajl-dev mpi-default-dev ninja-build valgrind wget