coreboot-kgpe-d16/util/lint
Patrick Georgi fadbe5f657 build: make scan-build work again
This drops the scan-build related Kconfig options
since it's now possible to simply run

    scan-build [-o outdir] make

and get coreboot built with its report.

There's also no inner make process anymore, and the way
things work should be clearer now.

Also adapt abuild to this new reality.

Change-Id: I03e03334761ec83f718b3235ebf811834cd2e3e3
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/5774
Tested-by: build bot (Jenkins)
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
2014-05-17 21:15:14 +02:00
..
lint-000-license-headers exclude src/vendorcode from GPLv2 license checks. 2011-05-23 17:16:44 +00:00
lint-001-no-global-config-in-romstage lint: Add template for mktemp to meet BSD requirements 2012-09-28 14:46:37 +02:00
lint-stable-002-build-dir-handling build: make scan-build work again 2014-05-17 21:15:14 +02:00
lint-stable-003-whitespace util/lint/lint-stable-003-whitespace: Ignore temporary files ending with a tilde 2013-10-22 04:17:30 +02:00
lint-stable-004-style-labels lint: check label style only on changed files 2014-01-11 10:56:54 +01:00
remccoms3.sed Remove whitespace. 2012-02-17 19:04:31 +01:00