summaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
blob: 7d4d8dff54f20136aa99ded8fa14136fd97e1e0e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/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

osmo-clean-workspace.sh