diff options
author | ng0 <ng0@n0.is> | 2019-03-09 12:16:21 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-09 12:16:21 +0000 |
commit | d8da8d58a4354a687445e0d6e7b718840151d73f (patch) | |
tree | ece308dd5fdf2ce31fba98412266864c98c19d67 /contrib | |
parent | 53e1d7b8612158d99b7b8ae664573f8987478d7f (diff) | |
download | gnunet-d8da8d58a4354a687445e0d6e7b718840151d73f.tar.gz gnunet-d8da8d58a4354a687445e0d6e7b718840151d73f.zip |
fix
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" ] |