diff options
| author | Martin Roth <martinroth@google.com> | 2016-08-30 09:39:48 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-08-14 18:05:41 +0000 |
| commit | ea383676cf7e36b48d9d548d286297271f463cab (patch) | |
| tree | 94b48bb5ae9f70f4faea0598d8563be998d4ec9f /util/lint/lint | |
| parent | 35bfb9d9be3dcb6c8605a7dbe02da13a349aa995 (diff) | |
| download | coreboot-ea383676cf7e36b48d9d548d286297271f463cab.tar.xz | |
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 <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/16362
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Chris Ching <chingcodes@chromium.org>
Diffstat (limited to 'util/lint/lint')
| -rwxr-xr-x | util/lint/lint | 9 |
1 files changed, 6 insertions, 3 deletions
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 <lint|lint-stable> [--junit]\n" "$0" + printf "Usage: %s <lint|lint-stable|lint-extended> [--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 '<?xml version="1.0" encoding="utf-8"?>' > "$XMLFILE" |