aboutsummaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-04 14:37:50 +0000
committerng0 <ng0@n0.is>2019-03-04 14:38:06 +0000
commit25af6d913578ed7176d22d0eb187ad2a70d49374 (patch)
treed11692b116e52f32fdf4db80efc90603952f0f50 /Makefile.am
parent5d87f45cf44826eff5f308ea59f7e708f7d7514f (diff)
downloadgnunet-25af6d913578ed7176d22d0eb187ad2a70d49374.tar.gz
gnunet-25af6d913578ed7176d22d0eb187ad2a70d49374.zip
safety checks for lint-man.sh
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index daa2946a7..3c1d8c8fc 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -42,3 +42,5 @@ check-python:
42check-man: 42check-man:
43 printf "Running lint-man.sh in doc/man.\n" 43 printf "Running lint-man.sh in doc/man.\n"
44 @cd $(top_srcdir)/doc/man ; $(top_srcdir)/../../contrib/scripts/lint-man.sh || true 44 @cd $(top_srcdir)/doc/man ; $(top_srcdir)/../../contrib/scripts/lint-man.sh || true
45
46check-linters: check-bashism check-python check-man