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 -- To view, visit https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/37306?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: erlang/osmo-s1gw Gerrit-Branch: master Gerrit-Change-Id: Id9fe11e9eb36d7ed468288094095a6d38b2d1d49 Gerrit-Change-Number: 37306 Gerrit-PatchSet: 1 Gerrit-Owner: fixeria <vyanitskiy@sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: daniel <dwillmann@sysmocom.de> Gerrit-Reviewer: fixeria <vyanitskiy@sysmocom.de> Gerrit-Reviewer: pespin <pespin@sysmocom.de> Gerrit-MessageType: merged