From a84fea58e10beaa0d8cb775915c1ec57e221c0a1 Mon Sep 17 00:00:00 2001
From: Yakun Xu <xyk@google.com>
Date: Tue, 11 Feb 2020 00:38:18 +0800
Subject: [PATCH] [build] add DISABLE_TOOLS flag (#4543)

---
 examples/common-switches.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/examples/common-switches.mk b/examples/common-switches.mk
index 589f7cc54..1c290921a 100644
--- a/examples/common-switches.mk
+++ b/examples/common-switches.mk
@@ -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