aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-09 12:16:21 +0000
committerng0 <ng0@n0.is>2019-03-09 12:16:21 +0000
commitd8da8d58a4354a687445e0d6e7b718840151d73f (patch)
treeece308dd5fdf2ce31fba98412266864c98c19d67 /contrib
parent53e1d7b8612158d99b7b8ae664573f8987478d7f (diff)
downloadgnunet-d8da8d58a4354a687445e0d6e7b718840151d73f.tar.gz
gnunet-d8da8d58a4354a687445e0d6e7b718840151d73f.zip
fix
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/scripts/lint-python.sh3
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
13LOGFILE="lint/python-lint.log" 13# It is assumed that you are in 'lint'.
14LOGFILE="python-lint.log"
14 15
15# invoke from root of source! 16# invoke from root of source!
16if [ $(basename $(pwd)) = "scripts" ] 17if [ $(basename $(pwd)) = "scripts" ]