From ea383676cf7e36b48d9d548d286297271f463cab Mon Sep 17 00:00:00 2001 From: Martin Roth Date: Tue, 30 Aug 2016 09:39:48 -0600 Subject: Makefile.inc: lint: Update to run lint-extended scripts - Add lint-extended as a valid option - Call lint-extend from what-jenkins-does and test-lint - When logging to a junit.xml file, name the file extended-junit.xml so it doesn't conflict with the stable junit.xml file. Change-Id: I7e4156844b8c60790e03a0e43564610bb0c8f386 Signed-off-by: Martin Roth Reviewed-on: https://review.coreboot.org/16362 Tested-by: build bot (Jenkins) Reviewed-by: Chris Ching --- util/lint/lint | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'util/lint/lint') diff --git a/util/lint/lint b/util/lint/lint index 772d8bdaeb..0cbe0109e0 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -14,7 +14,7 @@ #set -x # uncomment for debug usage () { - printf "Usage: %s [--junit]\n" "$0" + printf "Usage: %s [--junit]\n" "$0" } #write to the junit xml file if --junit was specified @@ -25,17 +25,20 @@ junit_write () { } #verify the first command line parameter -if [ -z "$1" ] || [ "$1" != "lint" ] && [ "$1" != "lint-stable" ]; then +if [ -z "$1" ] || [ "$1" != "lint" ] && [ "$1" != "lint-stable" ] && \ + [ "$1" != "lint-extended" ]; then usage exit 1 fi LINTLOG=$(mktemp .tmpconfig.lintXXXXX); XMLFILE="$(dirname "$0")/junit.xml" +if [ "$1" = "lint-extended" ]; then + XMLFILE="$(dirname "$0")/extended-junit.xml" +fi FAILED=0; #check optional second command line parameter. -#TODO: Add real command line handling if anything more is added if [ "$2" = "--junit" ]; then JUNIT=1 echo '' > "$XMLFILE" -- cgit v1.2.3