diff options
| author | Lukas Larsson <[email protected]> | 2019-05-09 16:17:11 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2019-05-09 16:17:11 +0200 |
| commit | 551d03fe8232a66daf1c9a106194aa38ef660ef6 (patch) | |
| tree | dd6b6937e8804ebe64c122a46ea74fc8357aad6f /scripts/run-dialyzer | |
| parent | 61ebe71042fce734a06382054690d240ab027409 (diff) | |
| parent | 40f2ce825eb6af86f98fe573cf308f5536d24d66 (diff) | |
| download | otp-551d03fe8232a66daf1c9a106194aa38ef660ef6.tar.gz otp-551d03fe8232a66daf1c9a106194aa38ef660ef6.tar.bz2 otp-551d03fe8232a66daf1c9a106194aa38ef660ef6.zip | |
Merge branch 'lukas/fix-run-dialyzer'
* lukas/fix-run-dialyzer:
otp: Don't error dialyzer script if WARNINGS fail
Diffstat (limited to 'scripts/run-dialyzer')
| -rwxr-xr-x | scripts/run-dialyzer | 2 |
1 files changed, 1 insertions, 1 deletions
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 |