ci: add -Dutmp=false coverage

diff --git a/.github/workflows/build_test.sh b/.github/workflows/build_test.sh
index 99dadd2228df96a5eeed7cb9d9522a4a880b04a4..c55004676146582b29f0e1bb206f60053522db01 100755 (executable)
--- a/.github/workflows/build_test.sh
+++ b/.github/workflows/build_test.sh
@@ -9,7 +9,7 @@ success() { echo >&2 -e "\033[32;1m$1\033[0m"; }
 
 ARGS=(
     "--optimization=0 -Dopenssl=disabled -Dcryptolib=gcrypt -Ddns-over-tls=gnutls -Dtpm=true -Dtpm2=enabled"
-    "--optimization=s"
+    "--optimization=s -Dutmp=false"
     "--optimization=3 -Db_lto=true -Ddns-over-tls=false"
     "--optimization=3 -Db_lto=false -Dtpm2=disabled -Dlibfido2=disabled -Dp11kit=disabled"
     "--optimization=3 -Ddns-over-tls=openssl"