3 # Jailhouse, a Linux-based partitioning hypervisor
5 # Copyright (c) Siemens AG, 2015
8 # Jan Kiszka <jan.kiszka@siemens.com>
10 # This work is licensed under the terms of the GNU GPL, version 2. See
11 # the COPYING file in the top-level directory.
14 CONFIGS="x86 banana-pi vexpress"
16 # only build a specific config if the branch selects it
17 if [ ${TRAVIS_BRANCH#coverity_scan-} != ${TRAVIS_BRANCH} ]; then
18 CONFIGS=${TRAVIS_BRANCH#coverity_scan-}
22 if [ "$1" == "--cov" ]; then
23 export COVERITY_UNSUPPORTED=1
24 PREFIX="cov-build --append-log --dir $2 $3"
27 for CONFIG in $CONFIGS; do
29 echo "*** Building configuration $CONFIG ***"
31 cp ci/jailhouse-config-$CONFIG.h hypervisor/include/jailhouse/config.h
40 CROSS_COMPILE=arm-linux-gnueabihf-
44 $PREFIX make KDIR=ci/linux/build-$CONFIG ARCH=$ARCH \
45 CROSS_COMPILE=$CROSS_COMPILE
47 # Keep the clean run out of sight for cov-build so that results are
48 # accumulated as far as possible. Multiple compilations of the same
49 # file will still leave only the last run in the results.
50 make KDIR=ci/linux/build-$CONFIG ARCH=$ARCH \
51 CROSS_COMPILE=$CROSS_COMPILE clean