contrib/jenkins.sh: run "make maintainer-clean"
commit32a1a5b5da1e038d94f6e0a1a38dfb9b87072552
authorOliver Smith <osmith@sysmocom.de>
Wed, 10 Jul 2019 10:22:24 +0000 (10 12:22 +0200)
committerOliver Smith <osmith@sysmocom.de>
Wed, 10 Jul 2019 11:33:04 +0000 (10 13:33 +0200)
tree9779992fb5b5e2bb60f50d29e92ae65492413c66
parent62825cc8eb4e26d58d32a0af72b17256b185af61
contrib/jenkins.sh: run "make maintainer-clean"

Related: OS#3047
Change-Id: I11c37f72b6e4294d1dc7b6d1751627ccf4f5c87a
contrib/jenkins.sh