commit 13dfdb8c6abb5cd5c3e04579728456b33407162d
parent 84b42298edf3116f76b7143f0f522a4688a5b8b7
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Fri, 10 Apr 2026 18:38:48 +0200
ci: try with standard libdir
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/contrib/ci/jobs/002-test/1-build.sh b/contrib/ci/jobs/002-test/1-build.sh
@@ -8,7 +8,8 @@ apt-get upgrade -yqq
./configure CFLAGS="-ggdb -O0" \
--enable-logging=verbose \
--enable-coverage \
- --disable-doc
+ --disable-doc \
+ --libdir=lib
nump=$(grep processor /proc/cpuinfo | wc -l)
make clean