From b58e6ae5b6a5e1fd5344114fa9a77d5b92c794f4 Mon Sep 17 00:00:00 2001 From: Peter Bigot Date: Mon, 6 Jan 2020 15:03:42 -0600 Subject: [PATCH] doc: avoid non-standard value for Kconfig predefines When building with Kconfig a symbol CONFIG_FOO is either undefined, or defined to the integer literal 1. There are styles and use cases where this is important, e.g. using "#if (CONFIG_FOO - 0)" which would not work with a macro expanding to the identifier y. Use the standard default definition instead of a special non-default one. Also consistently use space rather than tab indentation within the multi-line setting, and alphabetize the CONFIG_ predefines. Signed-off-by: Peter Bigot --- doc/zephyr.doxyfile.in | 58 +++++++++++++++++++++--------------------- 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/doc/zephyr.doxyfile.in b/doc/zephyr.doxyfile.in index 83f9573f57a..9fc2c917312 100644 --- a/doc/zephyr.doxyfile.in +++ b/doc/zephyr.doxyfile.in @@ -1960,35 +1960,35 @@ INCLUDE_FILE_PATTERNS = # recursively expanded use the := operator instead of the = operator. # This tag requires that the tag ENABLE_PREPROCESSING is set to YES. -PREDEFINED = "CONFIG_SYS_CLOCK_EXISTS=y" \ - "CONFIG_THREAD_MONITOR=y" \ - "CONFIG_SCHED_CPU_MASK=y" \ - "CONFIG_SCHED_DEADLINE=y" \ - "CONFIG_NET_MGMT_EVENT=y" \ - "CONFIG_NET_UDP=y" \ - "CONFIG_NET_TCP=y" \ - "CONFIG_NET_L2_ETHERNET_MGMT=y" \ - "CONFIG_THREAD_CUSTOM_DATA=y" \ - "CONFIG_SCHED_DEADLINE=y" \ - "CONFIG_ERRNO=y" \ - "CONFIG_THREAD_STACK_INFO=y" \ - "CONFIG_UART_INTERRUPT_DRIVEN=y" \ - "CONFIG_UART_DRV_CMD=y" \ - "CONFIG_SYS_POWER_MANAGEMENT=y" \ - "CONFIG_DEVICE_POWER_MANAGEMENT=y" \ - "CONFIG_BT_SMP=y" \ - "CONFIG_BT_REMOTE_INFO=y" \ - "CONFIG_USERSPACE=y" \ - "CONFIG_BT_BREDR=y" \ - "CONFIG_FLASH_PAGE_LAYOUT=y" \ - "CONFIG_BT_MESH_MODEL_EXTENSIONS=y" \ - "CONFIG_SMP=y" \ - "CONFIG_FLOAT=y" \ - "CONFIG_FP_SHARING=y" \ - "CONFIG_ARCH_HAS_CUSTOM_BUSY_WAIT=y" \ - "CONFIG_ARCH_HAS_CUSTOM_SWAP_TO_MAIN=y" \ - "CONFIG_USE_SWITCH=y" \ - "CONFIG_EXECUTION_BENCHMARKING=y" \ +PREDEFINED = "CONFIG_ARCH_HAS_CUSTOM_BUSY_WAIT" \ + "CONFIG_ARCH_HAS_CUSTOM_SWAP_TO_MAIN" \ + "CONFIG_BT_BREDR" \ + "CONFIG_BT_MESH_MODEL_EXTENSIONS" \ + "CONFIG_BT_REMOTE_INFO" \ + "CONFIG_BT_SMP" \ + "CONFIG_DEVICE_POWER_MANAGEMENT" \ + "CONFIG_ERRNO" \ + "CONFIG_EXECUTION_BENCHMARKING" \ + "CONFIG_FLASH_PAGE_LAYOUT" \ + "CONFIG_FLOAT" \ + "CONFIG_FP_SHARING" \ + "CONFIG_NET_L2_ETHERNET_MGMT" \ + "CONFIG_NET_MGMT_EVENT" \ + "CONFIG_NET_TCP" \ + "CONFIG_NET_UDP" \ + "CONFIG_SCHED_CPU_MASK" \ + "CONFIG_SCHED_DEADLINE" \ + "CONFIG_SCHED_DEADLINE" \ + "CONFIG_SMP" \ + "CONFIG_SYS_CLOCK_EXISTS" \ + "CONFIG_SYS_POWER_MANAGEMENT" \ + "CONFIG_THREAD_CUSTOM_DATA" \ + "CONFIG_THREAD_MONITOR" \ + "CONFIG_THREAD_STACK_INFO" \ + "CONFIG_UART_DRV_CMD" \ + "CONFIG_UART_INTERRUPT_DRIVEN" \ + "CONFIG_USERSPACE" \ + "CONFIG_USE_SWITCH" \ "NET_MGMT_DEFINE_REQUEST_HANDLER(x)=" \ "DEVICE_DEFINE()=" \ "DEVICE_AND_API_INIT()=" \