diff options
| author | Martin Roth <martinroth@google.com> | 2016-01-11 14:35:24 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-01-12 22:33:12 +0100 |
| commit | daa9e12bc536b9d830de276934171ef1ce921e3f (patch) | |
| tree | ab58f2ffa14251489aa56ddfe857bc00c23e727c /util/lint | |
| parent | 1b44f7e390bdb04ceea48f6502a10e4d91000676 (diff) | |
| download | coreboot-daa9e12bc536b9d830de276934171ef1ce921e3f.tar.xz | |
util/lint: Add lint script to run kconfig_lint
The lint target in the makefile relies there being a script using
this particular naming format, so add a shell script front end to
run the kconfig linter.
Change-Id: I029c1cd3bbf3837c9f1d86c391ae5cabfa53685d
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12903
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/lint-008-kconfig | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/util/lint/lint-008-kconfig b/util/lint/lint-008-kconfig new file mode 100755 index 0000000000..16ae251184 --- /dev/null +++ b/util/lint/lint-008-kconfig @@ -0,0 +1,18 @@ +#!/bin/sh +# This file is part of the coreboot project. +# +# Copyright 2016 Google Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# DESCR: check Kconfig files + +LC_ALL=C export LC_ALL +env perl util/lint/kconfig_lint --no_git_grep --warnings_off |