From ca1a21c786eb2f96a61d5a7528988f1f3cf96c61 Mon Sep 17 00:00:00 2001 From: "Zaiming (Stone) Shi" Date: Mon, 11 Dec 2023 18:38:52 +0100 Subject: [PATCH] fix(dialyzer): add tools to pre-included apps --- rebar.config.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rebar.config.erl b/rebar.config.erl index 6958ad784..fc350aa5d 100644 --- a/rebar.config.erl +++ b/rebar.config.erl @@ -562,7 +562,7 @@ dialyzer(Config) -> AppsToExclude = AppNames -- KnownApps, Extra = - [os_mon, system_monitor, covertool] ++ + [os_mon, system_monitor, tools, covertool] ++ [bcrypt || provide_bcrypt_dep()] ++ [jq || is_jq_supported()] ++ [quicer || is_quicer_supported()],