diff --git a/Jenkinsfile b/Jenkinsfile
index c7a5572..dd3e082 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,12 +54,11 @@ pipeline {
                     #!/bin/bash
 
                     cd patches
-                    patch_files=(*.patch)
 
                     # Only proceed if there are patch files
-                    if [ ${#patch_files[@]} -ne 0 ]; then
+                    if compgen -G "*.patch" > /dev/null; then
                         # Loop over all patch files and apply them
-                        for patch_file in "${patch_files[@]}"; do
+                        for patch_file in *.patch; do
                             echo "Applying $patch_file to ../phoenix-firestorm/"
                             patch -d ../phoenix-firestorm/ -Np1 -i "$patch_file"
                         done