From bd3e5d86f1ea0e2570b8764973d540a5f2175373 Mon Sep 17 00:00:00 2001
From: Vulpovile <andrejaandjic@gmail.com>
Date: Sat, 11 Jan 2025 14:46:24 -0800
Subject: [PATCH] Fix jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index f055cbe..8197ab9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
                     // Check for spaces or mixed indentation
                     sh '''
                     # Define file extensions to check
-                    FILE_EXTENSIONS="css,json,js,java,htm,html,cpp,c,h,p,py,go,cs"
+                    FILE_EXTENSIONS="css|json|js|java|htm|html|cpp|c|h|p|py|go|cs"
 
                     echo "Checking for spaces in indentation..."
                     grep -nrP '^[ ]+' --include="*.{$FILE_EXTENSIONS}" . || echo "No lines with spaces found."