From 9e73bdbb7d77e241aaa859654bade98607189766 Mon Sep 17 00:00:00 2001 From: Evgeniy Khramtsov Date: Mon, 24 Jun 2013 20:58:52 +1000 Subject: [PATCH] Check exit codes carefully when running dialyzer --- Makefile.in | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index 8b75e99b1..690c93edc 100644 --- a/Makefile.in +++ b/Makefile.in @@ -262,13 +262,16 @@ dialyzer/ejabberd.plt: status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi erlang_plt: dialyzer/erlang.plt - @dialyzer --plt dialyzer/erlang.plt --check_plt + @dialyzer --plt dialyzer/erlang.plt --check_plt -o dialyzer/erlang.log; \ + status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi deps_plt: dialyzer/deps.plt - @dialyzer --plt dialyzer/deps.plt --check_plt + @dialyzer --plt dialyzer/deps.plt --check_plt -o dialyzer/deps.log; \ + status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi ejabberd_plt: dialyzer/ejabberd.plt - @dialyzer --plt dialyzer/ejabberd.plt --check_plt + @dialyzer --plt dialyzer/ejabberd.plt --check_plt -o dialyzer/ejabberd.log; \ + status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi dialyzer: erlang_plt deps_plt ejabberd_plt @dialyzer --plts dialyzer/*.plt --no_check_plt \