diff options
-rwxr-xr-x | contrib/scripts/lint-python.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/scripts/lint-python.sh b/contrib/scripts/lint-python.sh index cf737cae2..0e46719ff 100755 --- a/contrib/scripts/lint-python.sh +++ b/contrib/scripts/lint-python.sh @@ -10,7 +10,8 @@ existence() command -v "$1" >/dev/null 2>&1 } -LOGFILE="lint/python-lint.log" +# It is assumed that you are in 'lint'. +LOGFILE="python-lint.log" # invoke from root of source! if [ $(basename $(pwd)) = "scripts" ] |