diff options
author | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2016-09-27 01:59:12 +0200 |
---|---|---|
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2016-09-27 02:10:22 +0200 |
commit | 681bd9ab8d87121c1363d9bab0ee6612623b548f (patch) | |
tree | 0936712dfc4095ece262acbf5d96f99841bef466 /coverity/coverity_test_osmo_trx.sh | |
parent | 895deec006b85fdc15869ff32ab66ffdc0609496 (diff) |
coverity scripts: base all paths on initial $PWD
This allows having the coverity scripts in a different location than
~/coverity. In particular, this allows just cloning the osmo-ci anywhere, e.g.
having ~/osmo-ci/coverity as the build location.
Change-Id: I100cc763b06562dbeaea11c7175f3c92fc01117a
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 |