Release v4.9237 - Ice Coffee :coffee:
[RRG-proxmark3.git] / .coverity.conf.sample
blob5caf5d6fb5c281a3f69d5efe1bd31eb24c912d65
1 COVLOGIN=myemail@corp.com
2 COVTOKEN=aAbBcCdDeEfFgGhHiIjJkK
3 # Toolchain available at https://scan.coverity.com/download
4 COVBINDIR="/opt/cov-analysis-linux64-2019.03/bin"
5 # Nickname included in scan description:
6 NICKNAME=myself
7 # cov can't read gcov from gcc > 7
8 HOSTCC=gcc-7
9 HOSTCXX=g++-7
10 HOSTLD=g++-7
12 # Do not change it:
13 COVDIR=cov-int
15 # Depending if your kernel > 4.8.x, you might need to activate this to run Coverity executables
16 # (but latest tools with kernel 5.2 run fine)
17 #sysctl vsyscall=emulate
19 export PATH="$PATH:$COVBINDIR"
21 function pre_build_hook() {
22     # tmp dir will be /tmp/cov-$username/
23     # It's the good place if you need to redirect to elsewhere with a symlink
24     return 0
27 function post_build_hook() {
28     return 0
31 function pre_submit_hook() {
32     return 0
35 function post_submit_hook() {
36     # Clean up build folders?
37     rm -rf "$COVDIR"
38     echo "Coverity build cleaned"
39     return 0