diff options
author | Martin Roth <martinroth@google.com> | 2016-11-24 13:16:28 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-12-09 00:35:16 +0100 |
commit | 21c99af0c82fc8fd00b91e8bea6a454f0cd251ac (patch) | |
tree | 55c55f12128b91d36f52e0fd7e48ee64fbd1b965 /util/lint/lint-stable-017-configs | |
parent | 7a128cb9c394837c67b63705f048e715755738de (diff) | |
download | coreboot-21c99af0c82fc8fd00b91e8bea6a454f0cd251ac.tar.xz |
util/lint: Add check to verify saved configs are miniconfigs
Change-Id: Ifc5ec645dd27663c1b1fde9ff16d48534606a554
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17600
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/lint/lint-stable-017-configs')
-rwxr-xr-x | util/lint/lint-stable-017-configs | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/util/lint/lint-stable-017-configs b/util/lint/lint-stable-017-configs new file mode 100755 index 0000000000..782c183c24 --- /dev/null +++ b/util/lint/lint-stable-017-configs @@ -0,0 +1,32 @@ +#!/bin/sh +# This file is part of the coreboot project. +# +# Copyright (C) 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 that saved config files are miniconfigs + +LC_ALL=C export LC_ALL + +SYMBOLS='CONFIG_ARCH_\|CONFIG_MAINBOARD_HAS_' + +# Use git grep if the code is in a git repo, otherwise use grep. +if [ -n "$(command -v git)" ] && [ -d .git ]; then + GREP="git grep -l" +else + GREP="grep -rl" +fi + +#look for a couple of things that should only be set by select keywords +for file in \ + $($GREP "$SYMBOLS" configs) ; do \ + echo "Error: $file seems to be a full config"; \ + done |