summaryrefslogtreecommitdiff
path: root/gnat.adc
diff options
context:
space:
mode:
authorMartin Roth <gaumless@gmail.com>2018-07-22 10:11:26 -0600
committerPatrick Georgi <pgeorgi@google.com>2018-07-24 09:08:55 +0000
commit21e09b1c157b1b8488055bae3f973143d6f59e20 (patch)
treef8ed7daf19514063d317bb0b79ed0fd33c27ae1d /gnat.adc
parentfbc87b638a25819160db467f82958d2ed673b66b (diff)
Build system: Add fixes for scanbuild
- Exclude build flags that generate warnings when scanbuild is running - Add the SCANBUILD_ARGS variable to abuild so we can pass in arguments to scanbuild. - Set the default scanbuild argument to -k (--keep-going) so that even if an error occurs it continues with the scan. This is similar to what we do with coverity runs. Change-Id: I82e7c13d7fd7432b43c17a31834ec82fca158a07 Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/27595 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'gnat.adc')
0 files changed, 0 insertions, 0 deletions