diff --git a/Jenkinsfile b/Jenkinsfile
index b0dd9ab..c7a5572 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,8 +54,6 @@ pipeline {
                     #!/bin/bash
 
                     cd patches
-                    # Enable nullglob so the pattern returns an empty list if no matches are found
-                    shopt -s nullglob
                     patch_files=(*.patch)
 
                     # Only proceed if there are patch files