diff options
Diffstat (limited to 'coverity')
-rwxr-xr-x | coverity/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh index b33ae86..d19b93c 100755 --- a/coverity/jenkins.sh +++ b/coverity/jenkins.sh @@ -7,7 +7,7 @@ readlink /opt/coverity/current export PATH=$PATH:/opt/coverity/current/bin -base_dir="$HOME/osmo-ci/coverity" +base_dir="/opt/osmo-ci/coverity" src_dir="$PWD/source-Osmocom" cov_dir="$src_dir/cov-int" |