aboutsummaryrefslogtreecommitdiff
path: root/scripts/ci/coverity.sh
blob: 7272f8ed1b4146226c40047fa448152983e2650f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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}"