From babc4a17944327dbed360c5bd7b2117fee0f0609 Mon Sep 17 00:00:00 2001 From: Andrew Scheller Date: Mon, 13 Jun 2022 15:49:43 +0100 Subject: [PATCH] Remove 'default=none' from PICO_CONFIG lines (#865) --- src/common/pico_base/include/pico.h | 2 +- src/common/pico_base/include/pico/config.h | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/common/pico_base/include/pico.h b/src/common/pico_base/include/pico.h index 073ee5f..784566e 100644 --- a/src/common/pico_base/include/pico.h +++ b/src/common/pico_base/include/pico.h @@ -22,7 +22,7 @@ #include "pico/types.h" #include "pico/version.h" -// PICO_CONFIG: PICO_CONFIG_HEADER, unquoted path to header include in place of the default pico/config.h which may be desirable for build systems which can't easily generate the config_autogen header, default=none, group=pico_base +// PICO_CONFIG: PICO_CONFIG_HEADER, unquoted path to header include in place of the default pico/config.h which may be desirable for build systems which can't easily generate the config_autogen header, group=pico_base #ifdef PICO_CONFIG_HEADER #include __PICO_XSTRING(PICO_CONFIG_HEADER) #else diff --git a/src/common/pico_base/include/pico/config.h b/src/common/pico_base/include/pico/config.h index 8526bb5..10a9c6a 100644 --- a/src/common/pico_base/include/pico/config.h +++ b/src/common/pico_base/include/pico/config.h @@ -18,9 +18,9 @@ #include "pico/config_autogen.h" -// PICO_CONFIG: PICO_CONFIG_RTOS_ADAPTER_HEADER, unquoted path to header include in the default pico/config.h for RTOS integration defines that must be included in all sources, default=none, group=pico_base +// PICO_CONFIG: PICO_CONFIG_RTOS_ADAPTER_HEADER, unquoted path to header include in the default pico/config.h for RTOS integration defines that must be included in all sources, group=pico_base #ifdef PICO_CONFIG_RTOS_ADAPTER_HEADER #include __PICO_XSTRING(PICO_CONFIG_RTOS_ADAPTER_HEADER) #endif -#endif \ No newline at end of file +#endif