diff options
Diffstat (limited to 'coverity/coverity_test_osmo_trx.sh')
-rwxr-xr-x | coverity/coverity_test_osmo_trx.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/coverity/coverity_test_osmo_trx.sh b/coverity/coverity_test_osmo_trx.sh index 75da893..f4b382e 100755 --- a/coverity/coverity_test_osmo_trx.sh +++ b/coverity/coverity_test_osmo_trx.sh @@ -2,15 +2,20 @@ set -e -x -export PATH=~/coverity/cov-analysis-linux64-8.5.0/bin/:$PATH -export PKG_CONFIG_PATH=~/coverity/install/lib/pkgconfig +base_dir="$PWD" +prefix="$base_dir/install" + +install -d "$prefix" + +export PATH="$base_dir/cov-analysis-linux64-8.5.0/bin/:$PATH" +export PKG_CONFIG_PATH="$prefix/lib/pkgconfig" do_build() { git clean -dxf git remote prune origin git pull --rebase autoreconf --install --force - ./configure --prefix=$HOME/coverity/install $* + ./configure --prefix="$prefix" $* cov-build --dir cov-int make make install |