diff --git a/Jenkinsfile b/Jenkinsfile
index dd3e082..f432b4f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -55,17 +55,16 @@ pipeline {
 
                     cd patches
 
-                    # Only proceed if there are patch files
-                    if compgen -G "*.patch" > /dev/null; then
-                        # Loop over all patch files and apply them
-                        for patch_file in *.patch; do
+
+                    # Loop over all patch files and apply them
+                    for patch_file in *.patch; do
+                        if [ -f "$patch_file" ]
+                        then
                             echo "Applying $patch_file to ../phoenix-firestorm/"
                             patch -d ../phoenix-firestorm/ -Np1 -i "$patch_file"
-                        done
-                        echo "All patches applied."
-                    else
-                        echo "No patch files found."
-                    fi
+                        fi
+                    done
+                    echo "All patches applied."
                     '''
                 }
             }