diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2019-05-29 09:16:49 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2019-05-29 09:16:49 +0200 |
commit | 56d7bc4fadd7bfb4e0fadae59e484e3496d32199 (patch) | |
tree | 27e6cf259a866851a2d7714ac23231cd95c39db9 | |
parent | 9f24b444cd9173b359d3c0074f7728d483599f65 (diff) | |
download | coreboot-56d7bc4fadd7bfb4e0fadae59e484e3496d32199.tar.gz |
use createrepo_c
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 829926a..83b7332 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -70,7 +70,7 @@ def RPMBuild() { rm -rf "${WORKSPACE}/rpms/src" # create rpm package repo - createrepo rpms + createrepo_c rpms ''' archiveArtifacts 'rpms/*/*' } |