From 19c0e3475a4ea5d9dd93097d43484bc7bb437dd7 Mon Sep 17 00:00:00 2001 From: "Dustin C. Hatch" Date: Mon, 18 Aug 2025 18:15:54 -0500 Subject: [PATCH] ci: Run make update-config --- ci/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index a172bc9..38a1128 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { } stage('Build') { steps { - sh 'make config' + sh 'make config && make update-config' sh 'make all BR2_CCACHE_DIR=${BR2_CCACHE_DIR}' } post {