diff options
author | ng0 <ng0@n0.is> | 2019-03-04 14:37:50 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-04 14:38:06 +0000 |
commit | 25af6d913578ed7176d22d0eb187ad2a70d49374 (patch) | |
tree | d11692b116e52f32fdf4db80efc90603952f0f50 /Makefile.am | |
parent | 5d87f45cf44826eff5f308ea59f7e708f7d7514f (diff) | |
download | gnunet-25af6d913578ed7176d22d0eb187ad2a70d49374.tar.gz gnunet-25af6d913578ed7176d22d0eb187ad2a70d49374.zip |
safety checks for lint-man.sh
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
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: | |||
42 | check-man: | 42 | check-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 | |||
46 | check-linters: check-bashism check-python check-man | ||