diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-03-29 15:25:29 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-03-29 15:25:29 +0200 |
| commit | cf43a9490a5fc2dbb0436928555fca24f6da2964 (patch) | |
| tree | d174ac49ac1dc9c73ad0a8b03657267f366e3cff | |
| parent | 2ea55b42357ef9c7186918f83198d3d0428abc2f (diff) | |
| download | jenkinsfiles-cf43a9490a5fc2dbb0436928555fca24f6da2964.tar.gz | |
add firmware
| -rw-r--r-- | jenkinsfile.firmware.repo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkinsfile.firmware.repo b/jenkinsfile.firmware.repo index 29b1424..8b4902e 100644 --- a/jenkinsfile.firmware.repo +++ b/jenkinsfile.firmware.repo @@ -37,6 +37,9 @@ pipeline { } stage ('copy firmware') { steps { + CopyFirmwareOld('coreboot') + CopyFirmwareOld('edk2') + CopyFirmwareOld('ipxe') CopyFirmwareOld('seabios') } } |