2 # Jailhouse, a Linux-based partitioning hypervisor
4 # Copyright (c) Siemens AG, 2014, 2015
7 # Jan Kiszka <jan.kiszka@siemens.com>
9 # This work is licensed under the terms of the GNU GPL, version 2. See
10 # the COPYING file in the top-level directory.
22 # Install additional packages
23 - sudo apt-add-repository 'deb http://archive.ubuntu.com/ubuntu vivid main'
24 - sudo apt-get update -qq
25 - sudo apt-get install -qq python-mako gcc-arm-linux-gnueabihf make
26 # Install kernel build environment
28 - wget -q http://www.kiszka.org/downloads/travis-ci/kernel-build.tar.xz
29 - tar xJf kernel-build.tar.xz
33 - if [ ${COVERITY_SCAN_BRANCH} != 1 ];
34 then ci/build-all-configs.sh;
40 name: "siemens/jailhouse"
41 notification_email: jan.kiszka@siemens.com
42 build_script_url: https://raw.githubusercontent.com/$TRAVIS_REPO_SLUG/$TRAVIS_BRANCH/ci/coverity-scan-build.sh
43 build_command_prepend: "cov-configure --comptype gcc --compiler arm-linux-gnueabihf-gcc --template"
44 build_command: "unused"
45 branch_pattern: coverity_scan.*