travis-ci: improve coverity integration

This commit is contained in:
Giacomo Tesio 2015-12-23 10:05:48 +00:00
parent 26847c6486
commit ed8629197f
3 changed files with 6 additions and 19 deletions

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
cd `dirname $0`
if [ -z "$UTILITIES" ]; then
UTILITIES=`pwd`

View File

@ -2,12 +2,15 @@
set -e
if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then
export JEHANNE=`git rev-parse --show-toplevel|sed 's/\/hacking//g'`
cd `dirname $0`
export JEHANNE=`pwd`
export PATH="$JEHANNE/hacking/bin:$PATH"
export SH=`which rc`
export ARCH=amd64
git clean -x -d -f
(cd $JEHANNE && ./hacking/buildtools.sh)
if [ ! -f "$JEHANNE/hacking/bin/ufs" ]; then
./hacking/buildtools.sh
fi
echo
echo "Vendorized code verification..."

View File

@ -1,16 +0,0 @@
#!/bin/bash
set -e
if [ "${COVERITY_SCAN_BRANCH}" == "1" ]; then
if [ -z "$JEHANNE" ]; then
export JEHANNE=`git rev-parse --show-toplevel|sed 's/\/hacking//g'`
export PATH="$JEHANNE/hacking/bin:$PATH"
fi
export SH=`which rc`
export ARCH=amd64
git clean -x -d -f
(cd $JEHANNE && ./hacking/buildtools.sh)
cd $JEHANNE
build
fi