[gnunet] branch master updated: extend lint

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 71420fa7b extend lint
71420fa7b is described below

commit 71420fa7be33130ab4896d6a492248f5612d02c1
Author: ng0 <address@hidden>
AuthorDate: Thu Nov 21 19:36:16 2019 +0000

    extend lint
---
 Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile.am b/Makefile.am
index 13a58bb0a..b9538134c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -96,3 +96,5 @@ check-texinfo:
        printf "...lines telling us what is left TODO or to fix?\n" 2>&1 | tee 
-a $(top_srcdir)/doc/tutorial/texinfo_tutorial.log || true
        @cd $(top_srcdir)/doc/tutorial ; find . -type f ! -path '*/.*' -name 
'*.texi' -print0 | xargs -0 awk '/TODO/ {print FILENAME":"NR":"$$0}' >> 
$(srcdir)/texinfo_tutorial.log || true
        @cd $(top_srcdir)/doc/tutorial ; find . -type f ! -path '*/.*' -name 
'*.texi' -print0 | xargs -0 awk '/XXX/ {print FILENAME":"NR":"$$0}' >> 
$(srcdir)/texinfo_tutorial.log || true
+       printf "...lines containing a popular typo\n" 2>&1 | tee -a 
$(top_srcdir)/lint.log || true
+       @cd $(top_srcdir) ; find . -type f ! -path '*/.*' -name '*' -print0 | 
xargs -0 awk '/wether/ {print FILENAME":"NR":"$$0}' >> $(srcdir)/lint.log || 
true

-- 
To stop receiving notification emails like this one, please contact
address@hidden.