diff options
author | Juraj Linkeš <juraj.linkes@pantheon.tech> | 2021-03-31 08:36:21 +0200 |
---|---|---|
committer | Matias Elo <matias.elo@nokia.com> | 2021-03-31 11:07:51 +0300 |
commit | 1856e6426ac972e34bae1c4625d7c1925cdc6ed6 (patch) | |
tree | 1582d15939dc66f06279198ee00bb6e4e3b75a34 /scripts | |
parent | ada235c5d89f093bdb636a897026964374e711c4 (diff) |
scripts: coverity: fix directory name
Coverity expects that the directory where it's storing the results of
the build is named "cov-int". Rename the directory to address this.
Signed-off-by: Juraj Linkeš <juraj.linkes@pantheon.tech>
Reviewed-by: Matias Elo <matias.elo@nokia.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/coverity.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci/coverity.sh b/scripts/ci/coverity.sh index 00cd1bb21..7272f8ed1 100755 --- a/scripts/ci/coverity.sh +++ b/scripts/ci/coverity.sh @@ -7,9 +7,9 @@ cd "$(dirname "$0")"/../.. make clean -cov-build --dir coverity-build make -j $(nproc) +cov-build --dir cov-int make -j $(nproc) -tar czf odp-coverity.tgz coverity-build +tar czf odp-coverity.tgz cov-int curl --form token="${COVERITY_TOKEN}" \ --form email="${COVERITY_EMAIL}" \ |