diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2018-11-19 11:55:46 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2018-11-21 14:37:49 +0100 |
| commit | aec8d2b3d8bc8de681d46c7e1feff206eefea147 (patch) | |
| tree | ec055bda263d65921926b0f5ae5f3594136aa83a | |
| parent | 39bbafbfd7a57a00a5d9f0534ba6d6b895d1fc4e (diff) | |
jenkins.sh: run 'make distcheck'
Everything is in place for 'make distcheck' now.
(moving manuals to project repositories 18/19)
Related: OS#3385
Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536
| -rwxr-xr-x | contrib/jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 1fd19d1..626160e 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -10,6 +10,7 @@ autoreconf -fi ./configure $MAKE $PARALLEL_MAKE $MAKE $PARALLEL_MAKE check +$MAKE $PARALLEL_MAKE distcheck if [ "x$publish" = "x--publish" ]; then mkdir out/ |