[build] add DISABLE_TOOLS flag (#4543)

2026-08-07 11:17:46 +00:00 · 2020-02-10 08:38:18 -08:00
parent 1edde90d91
commit a84fea58e1
1 changed files with 5 additions and 0 deletions
@@ -43,6 +43,7 @@ DHCP6_CLIENT        ?= 0
 DHCP6_SERVER        ?= 0
 DIAGNOSTIC          ?= 0
 DISABLE_DOC         ?= 0
+DISABLE_TOOLS       ?= 0
 DNS_CLIENT          ?= 0
 DYNAMIC_LOG_LEVEL   ?= 0
 ECDSA               ?= 0
@@ -128,6 +129,10 @@ ifeq ($(DISABLE_DOC),1)
 configure_OPTIONS              += --disable-docs
 endif

+ifeq ($(DISABLE_TOOLS),1)
+configure_OPTIONS              += --disable-tools
+endif
+
 ifeq ($(DNS_CLIENT),1)
 COMMONCFLAGS                   += -DOPENTHREAD_CONFIG_DNS_CLIENT_ENABLE=1
 endif