diff options
-rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 90c38d1c..243a019f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -145,6 +145,12 @@ pipeline { } } + stage('List Packages') { + steps { + sh "find packages/ -maxdepth 1 -type f -print0 | xargs -0r ls" + } + } + stage('ISO Image') { steps { sh ''' |