diff options
| -rwxr-xr-x | util/lint/lint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint b/util/lint/lint index 0cbe0109e0..253a6e6ec4 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -31,7 +31,7 @@ if [ -z "$1" ] || [ "$1" != "lint" ] && [ "$1" != "lint-stable" ] && \ exit 1 fi -LINTLOG=$(mktemp .tmpconfig.lintXXXXX); +LINTLOG=$(mktemp .tmpconfig.lintXXXXXX); XMLFILE="$(dirname "$0")/junit.xml" if [ "$1" = "lint-extended" ]; then XMLFILE="$(dirname "$0")/extended-junit.xml" |