2019-06-20 15:37:40 +08:00
|
|
|
menu "Example Configuration"
|
|
|
|
|
|
2019-10-15 17:27:47 +08:00
|
|
|
choice WEBSOCKET_URI_SOURCE
|
|
|
|
|
prompt "Websocket URI source"
|
|
|
|
|
default WEBSOCKET_URI_FROM_STRING
|
|
|
|
|
help
|
|
|
|
|
Selects the source of the URI used in the example.
|
|
|
|
|
|
|
|
|
|
config WEBSOCKET_URI_FROM_STRING
|
|
|
|
|
bool "From string"
|
|
|
|
|
|
|
|
|
|
config WEBSOCKET_URI_FROM_STDIN
|
|
|
|
|
bool "From stdin"
|
|
|
|
|
endchoice
|
|
|
|
|
|
2019-06-20 15:37:40 +08:00
|
|
|
config WEBSOCKET_URI
|
|
|
|
|
string "Websocket endpoint URI"
|
2019-10-15 17:27:47 +08:00
|
|
|
depends on WEBSOCKET_URI_FROM_STRING
|
2022-01-19 11:52:55 +02:00
|
|
|
default "ws://echo.websocket.events"
|
2019-06-20 15:37:40 +08:00
|
|
|
help
|
|
|
|
|
URL of websocket endpoint this example connects to and sends echo
|
|
|
|
|
|
2023-06-13 13:23:24 +04:00
|
|
|
if CONFIG_IDF_TARGET = "linux"
|
|
|
|
|
config GCOV_ENABLED
|
|
|
|
|
bool "Coverage analyzer"
|
|
|
|
|
default n
|
|
|
|
|
help
|
|
|
|
|
Enables coverage analyzing for host tests.
|
|
|
|
|
endif
|
2019-06-20 15:37:40 +08:00
|
|
|
endmenu
|
