diff options
author | Martin Roth <gaumless@gmail.com> | 2018-07-22 10:11:26 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-07-24 09:08:55 +0000 |
commit | 21e09b1c157b1b8488055bae3f973143d6f59e20 (patch) | |
tree | f8ed7daf19514063d317bb0b79ed0fd33c27ae1d /gnat.adc | |
parent | fbc87b638a25819160db467f82958d2ed673b66b (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