From d310f5f1370463231315132a3ad5791c9dd8bff2 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Wed, 22 Oct 2025 04:06:31 -0700
Subject: [PATCH] cmake: record all disabled options

Before this change, options that were hidden from the cmake-gui due to
unsatisfied config_choice conditions were not recorded in
gen_config.{yaml,json,h}. After this change, these hidden options are
recorded as disabled.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 tools/helpers.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/helpers.cmake b/tools/helpers.cmake
index 45cd8f411..0eb5d6a40 100644
--- a/tools/helpers.cmake
+++ b/tools/helpers.cmake
@@ -493,6 +493,7 @@ function(config_choice optionname configname doc)
         else()
             # Remove this config as it's not valid
             unset(${option_cache} CACHE)
+            cfg_str_add_disabled(local_config_string ${option_config})
         endif()
     endforeach()
     if(NOT found_current)