diff options
author | Patrick Georgi <patrick.georgi@coresystems.de> | 2010-11-19 10:16:43 +0000 |
---|---|---|
committer | Patrick Georgi <patrick.georgi@coresystems.de> | 2010-11-19 10:16:43 +0000 |
commit | e882630d47e9ed4f1d9cfea18e5709335a119c12 (patch) | |
tree | 569ed290560ebce605e88d48c30d4d89680a0678 /Makefile | |
parent | 911e2ac4b2af88591052be62d909e19ed60e3085 (diff) |
Add test to check for up-to-date GPL license headers to lint.
"make lint" should not stop after first failed test.
Improve "make lint" output.
Signed-off-by: Patrick Georgi <patrick.georgi@coresystems.de>
Acked-by: Patrick Georgi <patrick.georgi@coresystems.de>
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@6097 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -367,9 +367,9 @@ update: dongle.py -c /dev/term/1 $(obj)/coreboot.rom EOF lint: - LINTLOG=`mktemp`; \ + FAILED=0; LINTLOG=`mktemp`; \ for script in util/lint/lint-*; do \ - echo `basename $$script`; \ + echo; echo `basename $$script`; \ grep "^# DESCR:" $$script | sed "s,.*DESCR: *,," ; \ echo ========; \ $$script > $$LINTLOG; \ @@ -379,9 +379,11 @@ lint: echo test failed: ; \ cat $$LINTLOG; \ rm -f $$LINTLOG; \ - exit 1; \ - fi \ + FAILED=$$(( $$FAILED + 1 )); \ + fi; \ + echo ========; \ done; \ + test $$FAILED -eq 0 || { echo "ERROR: $$FAILED test(s) failed." && exit 1; }; \ rm -f $$LINTLOG # This include must come _before_ the pattern rules below! |