diff options
author | ng0 <ng0@n0.is> | 2019-12-01 23:29:37 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-12-01 23:29:37 +0000 |
commit | 5a525c0349701d8b511c34ef2deaf0eec7b26f22 (patch) | |
tree | ad0a0a7224a35db6fca4de6364d44fafb8b6ce3d /Makefile.am | |
parent | df0af6b7067e6a4ad0a88f2775da28cfc159ee66 (diff) |
define HAVE_AWK... we require awk for many parts, but for some cases
it could make sense to skip it.
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 edcd28b92..f8725390e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -70,5 +70,7 @@ check-python: printf "Running flake8 and 2to3 if detected.\n" $(top_srcdir)/contrib/scripts/lint/lint-python.sh || true +if HAVE_AWK check-texinfo: @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true +endif |