In Ubuntu 24.04, Dockerfile now needs to install adduser

ge-high-assurance · Apr 26, 2024 · 1306121 · 1306121
1 parent 59b8647
commit 1306121
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/verdict-back-ends/Dockerfile b/tools/verdict-back-ends/Dockerfile
@@ -11,6 +11,7 @@ FROM ubuntu:24.04
 
 RUN apt-get update -qq \
  && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
+    adduser \
     graphviz \
     libzmq5 \
     openjdk-17-jre-headless \