From 46f4fb2fa7075482fda3713700138efde44bf093 Mon Sep 17 00:00:00 2001
From: Tim Crawford <tcrawford@system76.com>
Date: Tue, 20 Feb 2024 12:08:20 -0700
Subject: [PATCH] jenkins: Rebuild the coreboot toolchain

Latest build failed with:

    /bin/sh: 1: /home/jenkins/workspace/firmware-open-pipeline/coreboot/util/crossgcc/xgcc/bin/x86_64-elf-gcc: not found

So try rebuilding the toolchain.

Signed-off-by: Tim Crawford <tcrawford@system76.com>
---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2eb2293..0dc5dd7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -89,6 +89,9 @@ pipeline {
                     git clean -dffx
                     git submodule foreach --recursive git clean -dff
 
+                    # FIXME: Rebuild the coreboot toolchain
+                    make -C coreboot CPUS="\$(nproc)" crossgcc-i386 crossgcc-x64
+
                     # EDK2 builds fail if file paths in INFs change from what's in the build cache
                     pushd edk2; git clean -dffx; popd
                 """