diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 12:13:01 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 15:28:46 +0200 |
commit | 67dab2ba601b9840e5f907f3e5ce4f0fd9234ae0 (patch) | |
tree | 9311e444fa30418f122659f2d96328eaba256ef3 | |
parent | 9aaee8c17b64003bbf196007a4c8a9e4247066d5 (diff) |
contrib/jenkins.sh: run "make {distcheck,maintainer-clean}"
Related: OS#3047
Change-Id: Ic277f37413cb338f4f9bdf4c5fc033d94a2cd5db
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 57da9fa..d75beda 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -5,3 +5,5 @@ set -ex autoreconf --install --force ./configure $MAKE $PARALLEL_MAKE +$MAKE distcheck +$MAKE maintainer-clean |