From 40f2ce825eb6af86f98fe573cf308f5536d24d66 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Tue, 7 May 2019 17:48:19 +0200 Subject: otp: Don't error dialyzer script if WARNINGS fail The WARNINGS set of application are know to produce warnings, so don't fail when they do. Instead we just print them to let the user know that they are there. --- scripts/run-dialyzer | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts/run-dialyzer') diff --git a/scripts/run-dialyzer b/scripts/run-dialyzer index 44436594d3..34724a8ca0 100755 --- a/scripts/run-dialyzer +++ b/scripts/run-dialyzer @@ -43,5 +43,5 @@ $ERL_TOP/bin/dialyzer --build_plt -Wunknown --apps $BASE_PLT $APP_PLT --statisti $ERL_TOP/bin/dialyzer -n -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics $ERL_TOP/bin/dialyzer -n -Wunknown --apps $NO_UNMATCHED --statistics if [ "X$WARNINGS" != "X" ]; then - $ERL_TOP/bin/dialyzer -n --apps $WARNINGS --statistics + $ERL_TOP/bin/dialyzer -n --apps $WARNINGS --statistics || true fi -- cgit v1.2.3