From c3fc3f432cdc9aa45a383f4f9a547f50786cfb34 Mon Sep 17 00:00:00 2001 From: Ricardo Pardini Date: Thu, 22 Feb 2024 22:47:43 +0100 Subject: [PATCH] config-prepare: do change tracking for each sourced board file (core vs userpatches) --- lib/functions/main/config-prepare.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/functions/main/config-prepare.sh b/lib/functions/main/config-prepare.sh index 58c6252516..a58b850c29 100644 --- a/lib/functions/main/config-prepare.sh +++ b/lib/functions/main/config-prepare.sh @@ -121,6 +121,9 @@ function config_source_board_file() { # shellcheck source=/dev/null source "${BOARD_SOURCE_FILE}" sourced_board_configs+=("${BOARD_SOURCE_FILE}") + + declare board_file_sans_src="${BOARD_SOURCE_FILE#${SRC}/}" + track_general_config_variables "after sourcing board file ${board_file_sans_src}" done # Sanity check: if no board config was sourced, then the board name is invalid