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 /src/mainboard/gigabyte | |
| 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 'src/mainboard/gigabyte')
0 files changed, 0 insertions, 0 deletions