diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 14:27:31 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 14:27:31 +0200 |
commit | 50ab7137c083b3d8ea0157b3824b48172f2b91ce (patch) | |
tree | 959a454c505c70569de4d22b61aa7d831b876c9c /contrib/ci | |
parent | 22c13c1f0839695c22b64acee00606a7200c3bf0 (diff) |
-add strace for debugging
Diffstat (limited to 'contrib/ci')
-rw-r--r-- | contrib/ci/Containerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/Containerfile b/contrib/ci/Containerfile index ac31c7ade..cee2620e3 100644 --- a/contrib/ci/Containerfile +++ b/contrib/ci/Containerfile @@ -10,6 +10,7 @@ RUN apt-get update -yqq && \ bash \ coreutils \ git \ + strace \ libcurl4-gnutls-dev \ libgcrypt-dev \ libidn11-dev \ |