From 25d6a7540f08b9def9569032d5d073d76dfcd259 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bob=20Dr=C3=B6ge?= Date: Thu, 5 Nov 2026 13:41:12 +0100 Subject: [PATCH] ignore 'Built with EasyBuild version' lines in EESSI-extend module file --- .github/workflows/scripts/diff_eessi_extend.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/scripts/diff_eessi_extend.sh b/.github/workflows/scripts/diff_eessi_extend.sh index dd5ba833..efd990ef 100755 --- a/.github/workflows/scripts/diff_eessi_extend.sh +++ b/.github/workflows/scripts/diff_eessi_extend.sh @@ -23,8 +23,8 @@ compare_group() { # echo -e "\tComparing with $f" if ! diff \ - <(grep -v '^local root = ' "$ref") \ - <(grep -v '^local root = ' "$f"); then + <(grep -v '^local root = \|^-- Built with EasyBuild version' "$ref") \ + <(grep -v '^local root = \|^-- Built with EasyBuild version' "$f"); then failure_summary+=("$version|$ref|$f")