diff options
| -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') } } |