From: Luca Boccassi <bluca@debian.org>
Date: Wed, 8 Nov 2023 18:41:09 +0000 (+0000)
Subject: ci: add -Dutmp=false coverage
X-Git-Tag: v255-rc2~73^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F29942%2Fhead;p=thirdparty%2Fsystemd.git

ci: add -Dutmp=false coverage
---

diff --git a/.github/workflows/build_test.sh b/.github/workflows/build_test.sh
index 99dadd2228d..c5500467614 100755
--- 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"