Update Jenkinsfile
This commit is contained in:
parent
f8bdfeb03d
commit
c9c65c2d4b
1 changed files with 0 additions and 2 deletions
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue