contrib/jenkins.sh: run "make {distcheck,maintainer-clean}"

Related: OS#3047
Change-Id: I0c7cd8f8b2a3821e5c55fc84b24eca5e199ebbd8
1 file changed