mirror of
https://github.com/apache/nuttx.git
synced 2026-06-08 01:42:58 +08:00
e88a49007d
drivers/timers/watchdog.c:57:5: warning: "CONFIG_WATCHDOG_AUTOMONITOR_PING_INTERVAL" is not defined, evaluates to 0 [-Wundef]
57 | CONFIG_WATCHDOG_AUTOMONITOR_PING_INTERVAL)
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Signed-off-by: hejianliang3 <hejianliang3@xiaomi.com>
Signed-off-by: chao.an <anchao@xiaomi.com>