From cab450235b07a27ee976d87b8dfaa26835462ff6 Mon Sep 17 00:00:00 2001 From: Vulpovile Date: Sat, 11 Jan 2025 14:58:09 -0800 Subject: [PATCH] Fix jenkinsfile --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 8bfd8ea..d583b3c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,12 +7,12 @@ pipeline { script { // Check for spaces or mixed indentation sh ''' - EXTENSIONS={css,js,json,java,bat,ps1,py,cs,html,c,cpp,h,hpp,cmd} - if grep -P "^[ ]+" -r --include=*.$EXTENSIONS ; then + EXTENSIONS=css,js,json,java,bat,ps1,py,cs,html,c,cpp,h,hpp,cmd + if grep -P "^[ ]+" -r --include=*.{$EXTENSIONS} ; then echo "Error: Files contain spaces instead of tabs for indentation." exit 1 fi - if grep -P "^\\t+ +" -r --include=*.$EXTENSIONS ; then + if grep -P "^\\t+ +" -r --include=*.{$EXTENSIONS} ; then echo "Error: Files contain mixed tabs and spaces for indentation." exit 1 fi