fix

diff --git a/contrib/scripts/lint-python.sh b/contrib/scripts/lint-python.sh
index cf737cae257777a2a7358777795e69981e0a1451..0e46719ffbf7804b1d85a2ee065f9596d2baa571 100755 (executable)
--- 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" ]