Add grep to dockerbuild image (#607)

2023-04-03 15:21:04 +01:00
parent 06d6f11670
commit 7c0f11914b
1 changed files with 1 additions and 1 deletions
--- a/dockerbuild/Dockerfile
+++ b/dockerbuild/Dockerfile
@@ -16,7 +16,7 @@ RUN apt-get -qq update && apt-get -qq dist-upgrade && \
  libsecret-1-dev libgnome-keyring-dev \
  libopenjp2-tools \
  # Used by github actions \
-  jq \
+  jq grep \
  # Used by seshat (when not SQLCIPHER_STATIC) \
  libsqlcipher-dev && \
  # git-lfs