From e79e90e16ef68625cf3f196f6d105f8297fb8e73 Mon Sep 17 00:00:00 2001 From: "Enrico Weigelt, metux IT consult" Date: Thu, 28 Aug 2025 12:56:13 +0200 Subject: [PATCH] 1 --- .github/scripts/util.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/scripts/util.sh b/.github/scripts/util.sh index 444e97fa78..31a5487e9c 100644 --- a/.github/scripts/util.sh +++ b/.github/scripts/util.sh @@ -16,12 +16,12 @@ clone_source() { local url="$2" local ref="$3" - log_group "Cloning $pkgname" +# log_group "Cloning $pkgname" $SOURCE_DIR/.github/scripts/git-smart-checkout.sh \ --name "$pkgname" \ --url "$url" \ --ref "$ref" - log_endgroup +# log_endgroup } build_meson() {