Add -D CLI option and script for Coverity Scan.
[tmk.git] / run-coverity-scan.sh
blob141519bc5e2678beeef94130f0b41a543ad7d322
1 #!/bin/sh
3 echo "Running bootstrap build"
4 TMAKE_BUILD=$(./bootstrap.sh |grep gcc |grep 'tmake\.c')
6 echo
7 echo "Using build command: $TMAKE_BUILD"
8 echo
10 echo "Building tmake only with Coverity"
11 cov-build --dir cov-int $TMAKE_BUILD
13 #echo "Coverity build log:"
14 #tail cov-int/build-log.txt
16 echo
17 echo "Creating archive for submission to Coverity Scan"
18 echo
19 tar czf tmake.tgz cov-int
21 echo "Submit tmake.tgz to Coverity Scan for analysis"
22 echo "http://scan.coverity.com/"
23 echo