diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 14:56:24 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 14:56:24 +0200 |
| commit | 7e5ab53a78beb172cba18005e2370904c653e3df (patch) | |
| tree | a822a56dd3d49bbb3ad6c48e553ee674c4d30d20 /contrib | |
| parent | e9a2f156f10b06dbc763f6dba0e33afe9c720ed1 (diff) | |
-fix mustach valgrind detection
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/ci/Containerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/ci/Containerfile b/contrib/ci/Containerfile index cee2620e3..ac31c7ade 100644 --- a/contrib/ci/Containerfile +++ b/contrib/ci/Containerfile @@ -10,7 +10,6 @@ RUN apt-get update -yqq && \ bash \ coreutils \ git \ - strace \ libcurl4-gnutls-dev \ libgcrypt-dev \ libidn11-dev \ |