summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2016-11-24 13:16:28 -0700
committerMartin Roth <martinroth@google.com>2016-12-09 00:35:16 +0100
commit21c99af0c82fc8fd00b91e8bea6a454f0cd251ac (patch)
tree55c55f12128b91d36f52e0fd7e48ee64fbd1b965 /util
parent7a128cb9c394837c67b63705f048e715755738de (diff)
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')
-rwxr-xr-xutil/lint/lint-stable-017-configs32
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