From df5553b1f3e44e97f3a2584984c547f1916129bd Mon Sep 17 00:00:00 2001 From: "Thomas Trepl (Moody)" Date: Fri, 13 Aug 2021 07:47:07 +0200 Subject: [PATCH] Rename ch-system-strippingagain to ch-system-stripping --- HLFS/hlfs.xsl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/HLFS/hlfs.xsl b/HLFS/hlfs.xsl index aa9504a..38e4186 100644 --- a/HLFS/hlfs.xsl +++ b/HLFS/hlfs.xsl @@ -93,7 +93,7 @@ + @id='ch-system-stripping'"> #!/tools/bin/bash set +h @@ -101,7 +101,7 @@ + not(@id='ch-system-stripping')"> set -e