diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 12:09:58 +0200 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 12:09:58 +0200 |
| commit | 284c25697dc915ea04220fd6d0a1be62a2a74e0f (patch) | |
| tree | 8ddb9b0b8bb0e593d8f23601cf014dd778f4dc23 | |
| parent | b5ae1af602eb26ad1401529a384524b2aa657c6c (diff) | |
contrib/jenkins.sh: run "make {distcheck,maintainer-clean}"
Related: OS#3047
Change-Id: I0c7cd8f8b2a3821e5c55fc84b24eca5e199ebbd8
| -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 |