diff options
| -rwxr-xr-x | util/lint/lint-stable-003-whitespace | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-003-whitespace b/util/lint/lint-stable-003-whitespace index e46d93e2a4..0611f25396 100755 --- a/util/lint/lint-stable-003-whitespace +++ b/util/lint/lint-stable-003-whitespace @@ -4,7 +4,7 @@ # DESCR: Check for superfluous whitespace in the tree -INTDIR="$( +LINTDIR="$( cd -- "$(dirname "$0")" > /dev/null 2>&1 || return pwd -P )" |