From 0bbceea47457209a1cd56d01c04c3ec413314601 Mon Sep 17 00:00:00 2001 From: Vulpovile Date: Sat, 11 Jan 2025 14:57:07 -0800 Subject: [PATCH] Fix jenkinsfile --- Jenkinsfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 48086a2..8bfd8ea 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,11 +7,12 @@ pipeline { script { // Check for spaces or mixed indentation sh ''' - if grep -P "^[ ]+" -r --include=*.css ; 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=*.css ; then + if grep -P "^\\t+ +" -r --include=*.$EXTENSIONS ; then echo "Error: Files contain mixed tabs and spaces for indentation." exit 1 fi