CI: Public header check defines CI_HEADER_CHECK macro

This flags compilation checking in the CI so headers can use the macro to ignore specific compilation issues

Author: david-cermak

tools/ci/check_public_headers.py

@@ -259,6 +259,7 @@ def list_public_headers(self, ignore_dirs, ignore_files, only_dir=None):
             if item.startswith("-D"):
                 include_dir_flags.append(item.replace('\\',''))  # removes escaped quotes, eg: -DMBEDTLS_CONFIG_FILE=\\\"mbedtls/esp_config.h\\\"
         include_dir_flags.append("-I" + os.path.join(project_dir, "build", "config"))
+        include_dir_flags.append("-DCI_HEADER_CHECK")
         sdkconfig_h = os.path.join(project_dir, "build", "config", "sdkconfig.h")
         # prepares a main_c file for easier sdkconfig checks and avoid compilers warning when compiling headers directly
         with open(sdkconfig_h, "a") as f: