Update Jenkinsfile

2024-10-06 21:34:55 +00:00 · 2024-10-06 21:34:55 +00:00 · 02b7d68983
commit 02b7d68983
parent c9c65c2d4b
1 changed files with 2 additions and 3 deletions
--- a/5
+++ b/5
@ -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