From 48aa58268ee5c213c3d8c468fb1e09a2a9ad044e Mon Sep 17 00:00:00 2001 From: David Cermak Date: Wed, 20 May 2020 07:14:05 +0200 Subject: [PATCH] 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 --- tools/ci/check_public_headers.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/ci/check_public_headers.py b/tools/ci/check_public_headers.py index af934acd9c..7d89fd4782 100644 --- a/tools/ci/check_public_headers.py +++ b/tools/ci/check_public_headers.py @@ -259,6 +259,7 @@ class PublicHeaderChecker: 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: