Skip to content

S
Software for White Rabbit PTP Core
Commit 080a6586 authored by Adam Wujek's avatar Adam Wujek 💬
Browse files
Options

Kconfig: Disable ASSERT by default 

Keep assert enabled only for devel_build_test_defconfig
Signed-off-by: Adam Wujek's avatarAdam Wujek <adam.wujek@cern.ch>
parent 30c50a31
Hide whitespace changes
Inline Side-by-side
Showing with 7 additions and 21 deletions
Kconfig
View file @ 080a6586
...@@ -395,7 +395,7 @@ config PRINTF_IS_NONE ...@@ -395,7 +395,7 @@ config PRINTF_IS_NONE
but not suited for wrpc-sw. See pp_printf/README for details. but not suited for wrpc-sw. See pp_printf/README for details.
endchoice endchoice
config ASSERT_ENA config ASSERT
bool "Build assertion checks in the code" bool "Build assertion checks in the code"
depends on DEVELOPER depends on DEVELOPER
default y default y
...@@ -534,8 +534,3 @@ config PPSI ...@@ -534,8 +534,3 @@ config PPSI
boolean boolean
help help
Select this option for the ppsi engine (now only option) Select this option for the ppsi engine (now only option)
config ASSERT
bool
default n if DEVELOPER && !ASSERT_ENA
default y
configs/devel_build_test_defconfig
View file @ 080a6586
...@@ -56,7 +56,7 @@ CONFIG_PRINTF_IS_XINT=y ...@@ -56,7 +56,7 @@ CONFIG_PRINTF_IS_XINT=y
# CONFIG_PRINTF_IS_FULL is not set # CONFIG_PRINTF_IS_FULL is not set
# CONFIG_PRINTF_IS_MINI is not set # CONFIG_PRINTF_IS_MINI is not set
# CONFIG_PRINTF_IS_NONE is not set # CONFIG_PRINTF_IS_NONE is not set
CONFIG_ASSERT_ENA=y CONFIG_ASSERT=y
CONFIG_DETERMINISTIC_BINARY=y CONFIG_DETERMINISTIC_BINARY=y
CONFIG_UART_SW=y CONFIG_UART_SW=y
CONFIG_NET_VERBOSE=y CONFIG_NET_VERBOSE=y
...@@ -68,4 +68,3 @@ CONFIG_PRINTF_XINT=y ...@@ -68,4 +68,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/gsi_defconfig
View file @ 080a6586
...@@ -54,7 +54,7 @@ CONFIG_PRINTF_IS_XINT=y ...@@ -54,7 +54,7 @@ CONFIG_PRINTF_IS_XINT=y
# CONFIG_PRINTF_IS_FULL is not set # CONFIG_PRINTF_IS_FULL is not set
# CONFIG_PRINTF_IS_MINI is not set # CONFIG_PRINTF_IS_MINI is not set
# CONFIG_PRINTF_IS_NONE is not set # CONFIG_PRINTF_IS_NONE is not set
CONFIG_ASSERT_ENA=y # CONFIG_ASSERT is not set
# CONFIG_DETERMINISTIC_BINARY is not set # CONFIG_DETERMINISTIC_BINARY is not set
# CONFIG_UART_SW is not set # CONFIG_UART_SW is not set
# CONFIG_NET_VERBOSE is not set # CONFIG_NET_VERBOSE is not set
...@@ -65,4 +65,3 @@ CONFIG_PRINTF_XINT=y ...@@ -65,4 +65,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/gsi_pdelay_defconfig
View file @ 080a6586
...@@ -54,7 +54,7 @@ CONFIG_PRINTF_IS_XINT=y ...@@ -54,7 +54,7 @@ CONFIG_PRINTF_IS_XINT=y
# CONFIG_PRINTF_IS_FULL is not set # CONFIG_PRINTF_IS_FULL is not set
# CONFIG_PRINTF_IS_MINI is not set # CONFIG_PRINTF_IS_MINI is not set
# CONFIG_PRINTF_IS_NONE is not set # CONFIG_PRINTF_IS_NONE is not set
CONFIG_ASSERT_ENA=y # CONFIG_ASSERT is not set
# CONFIG_DETERMINISTIC_BINARY is not set # CONFIG_DETERMINISTIC_BINARY is not set
# CONFIG_UART_SW is not set # CONFIG_UART_SW is not set
# CONFIG_NET_VERBOSE is not set # CONFIG_NET_VERBOSE is not set
...@@ -65,4 +65,3 @@ CONFIG_PRINTF_XINT=y ...@@ -65,4 +65,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/host_process_config
View file @ 080a6586
...@@ -54,7 +54,7 @@ CONFIG_PRINTF_IS_XINT=y ...@@ -54,7 +54,7 @@ CONFIG_PRINTF_IS_XINT=y
# CONFIG_PRINTF_IS_FULL is not set # CONFIG_PRINTF_IS_FULL is not set
# CONFIG_PRINTF_IS_MINI is not set # CONFIG_PRINTF_IS_MINI is not set
# CONFIG_PRINTF_IS_NONE is not set # CONFIG_PRINTF_IS_NONE is not set
CONFIG_ASSERT_ENA=y # CONFIG_ASSERT is not set
# CONFIG_DETERMINISTIC_BINARY is not set # CONFIG_DETERMINISTIC_BINARY is not set
# CONFIG_UART_SW is not set # CONFIG_UART_SW is not set
# CONFIG_NET_VERBOSE is not set # CONFIG_NET_VERBOSE is not set
...@@ -65,4 +65,3 @@ CONFIG_PRINTF_XINT=y ...@@ -65,4 +65,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/spec_defconfig
View file @ 080a6586
...@@ -49,4 +49,3 @@ CONFIG_PRINTF_XINT=y ...@@ -49,4 +49,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/spec_pdelay_defconfig
View file @ 080a6586
...@@ -44,4 +44,3 @@ CONFIG_PRINTF_XINT=y ...@@ -44,4 +44,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/wr_switch_defconfig
View file @ 080a6586
...@@ -35,4 +35,3 @@ CONFIG_PRINTF_XINT=y ...@@ -35,4 +35,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/wrnic_defconfig
View file @ 080a6586
...@@ -46,4 +46,3 @@ CONFIG_PRINTF_XINT=y ...@@ -46,4 +46,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
configs/wrpc_sim_defconfig
View file @ 080a6586
...@@ -49,7 +49,7 @@ CONFIG_PRINTF_IS_XINT=y ...@@ -49,7 +49,7 @@ CONFIG_PRINTF_IS_XINT=y
# CONFIG_PRINTF_IS_FULL is not set # CONFIG_PRINTF_IS_FULL is not set
# CONFIG_PRINTF_IS_MINI is not set # CONFIG_PRINTF_IS_MINI is not set
# CONFIG_PRINTF_IS_NONE is not set # CONFIG_PRINTF_IS_NONE is not set
CONFIG_ASSERT_ENA=y # CONFIG_ASSERT is not set
# CONFIG_DETERMINISTIC_BINARY is not set # CONFIG_DETERMINISTIC_BINARY is not set
# CONFIG_UART_SW is not set # CONFIG_UART_SW is not set
# CONFIG_NET_VERBOSE is not set # CONFIG_NET_VERBOSE is not set
...@@ -60,4 +60,3 @@ CONFIG_PRINTF_XINT=y ...@@ -60,4 +60,3 @@ CONFIG_PRINTF_XINT=y
# CONFIG_PRINTF_FULL is not set # CONFIG_PRINTF_FULL is not set
# CONFIG_PRINTF_MINI is not set # CONFIG_PRINTF_MINI is not set
# CONFIG_PRINTF_NONE is not set # CONFIG_PRINTF_NONE is not set
CONFIG_ASSERT=y
ppsi @ 325a2774
Subproject commit 6ff213827fc1fe7dfd3f1e6eaf1b549f40a17840 Subproject commit 325a277479110cde0e99edfd62f7c99a778be21d
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment