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