diff options
author | Matias Elo <matias.elo@nokia.com> | 2021-05-26 08:25:00 +0300 |
---|---|---|
committer | Matias Elo <matias.elo@nokia.com> | 2021-05-26 08:25:00 +0300 |
commit | 0f7caa1ed38afcd78b23c3ee0d2ef94a8f980236 (patch) | |
tree | 686e44d7f78ec662d9a03ed8367135ee9bda218d /scripts/ci | |
parent | cb9db0fa8ca6dd0d58ffe6180affe43abe53956c (diff) | |
parent | 639f4d5831927a2e10670ebb8f36481a5db1093c (diff) |
Merge tag 'v1.28.0.0' of https://github.com/OpenDataPlane/odp into odp-dpdk
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Diffstat (limited to 'scripts/ci')
-rwxr-xr-x | scripts/ci/coverity.sh | 19 | ||||
-rwxr-xr-x | scripts/ci/distcheck.sh | 2 |
2 files changed, 20 insertions, 1 deletions
diff --git a/scripts/ci/coverity.sh b/scripts/ci/coverity.sh new file mode 100755 index 000000000..7272f8ed1 --- /dev/null +++ b/scripts/ci/coverity.sh @@ -0,0 +1,19 @@ +#!/bin/bash +set -e + +cd "$(dirname "$0")"/../.. +./bootstrap +./configure --enable-debug=full + +make clean + +cov-build --dir cov-int make -j $(nproc) + +tar czf odp-coverity.tgz cov-int + +curl --form token="${COVERITY_TOKEN}" \ + --form email="${COVERITY_EMAIL}" \ + --form file=@odp-coverity.tgz \ + --form version="${GITHUB_SHA}" \ + --form description="GitHub Actions ODP Coverity Build" \ + "https://scan.coverity.com/builds?project=${COVERITY_PROJECT}" diff --git a/scripts/ci/distcheck.sh b/scripts/ci/distcheck.sh index 9d45536f4..6cf49f8a7 100755 --- a/scripts/ci/distcheck.sh +++ b/scripts/ci/distcheck.sh @@ -16,4 +16,4 @@ export CI="true" # Additional configure flags for distcheck export DISTCHECK_CONFIGURE_FLAGS="${CONF}" -make distcheck +make -j $(nproc) distcheck |