From 9467005280a74008ef9236b422befab94acd458b Mon Sep 17 00:00:00 2001 From: Vadim Yanitskiy Date: Mon, 7 Sep 2026 15:41:27 +0500 Subject: [PATCH] build: do distcheck for the host tools This allows to detect missing files in the release tarballs. Change-Id: I2352d99a91079e027ca9827c10663212a3f6292f --- contrib/jenkins.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index deaeea53..fdb61ea4 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -87,7 +87,7 @@ cd $TOPDIR/host autoreconf --install --force ./configure --enable-sanitize --enable-werror $MAKE $PARALLEL_MAKE -#$MAKE distcheck || cat-testlogs.sh +$MAKE distcheck || cat-testlogs.sh make dist #if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then