fixeria has submitted this change. ( https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/37306?usp=email )
Change subject: contrib/jenkins.sh: also run Dialyzer ......................................................................
contrib/jenkins.sh: also run Dialyzer
Dialyzer is a static code analyzer for Erlang, see:
https://www.erlang.org/docs/23/man/dialyzer.html
Change-Id: Id9fe11e9eb36d7ed468288094095a6d38b2d1d49 --- M Makefile M contrib/jenkins.sh 2 files changed, 17 insertions(+), 0 deletions(-)
Approvals: Jenkins Builder: Verified fixeria: Looks good to me, approved pespin: Looks good to me, but someone else must approve daniel: Looks good to me, but someone else must approve
diff --git a/Makefile b/Makefile index 6d3ded2..2a14fe7 100644 --- a/Makefile +++ b/Makefile @@ -18,6 +18,9 @@ check: $(GEN_FILES) rebar3 eunit
+analyze: $(GEN_FILES) + rebar3 dialyzer + clean: # Avoid running rebar3 clean if _build doesn't exist, since it would try # to fetch deps from the Internet and that may not be avaialble when in diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index df99a89..c738791 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -3,3 +3,4 @@ make clean make make check +make analyze