diff options
Diffstat (limited to 'contrib')
-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() | |||
10 | command -v "$1" >/dev/null 2>&1 | 10 | command -v "$1" >/dev/null 2>&1 |
11 | } | 11 | } |
12 | 12 | ||
13 | LOGFILE="lint/python-lint.log" | 13 | # It is assumed that you are in 'lint'. |
14 | LOGFILE="python-lint.log" | ||
14 | 15 | ||
15 | # invoke from root of source! | 16 | # invoke from root of source! |
16 | if [ $(basename $(pwd)) = "scripts" ] | 17 | if [ $(basename $(pwd)) = "scripts" ] |