summaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
blob: 0c40e2f0b65d892f46146ee47fc02c3f627f59bd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/sh

set -ex

if [ -n "$1" ]; then
    echo "ERROR: --publish has been deprecated!"
    echo "Manuals have been moved to the projects, and need to be published from there."
    echo "See INSTALL.txt for more information."
    exit 1
fi

osmo-clean-workspace.sh

autoreconf -fi
./configure
$MAKE $PARALLEL_MAKE
$MAKE $PARALLEL_MAKE check
$MAKE $PARALLEL_MAKE distcheck
$MAKE maintainer-clean

osmo-clean-workspace.sh