summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-04-03 14:39:03 +0200
committerChristian Grothoff <christian@grothoff.org>2019-04-03 14:39:03 +0200
commitda083d77e1b70766d7067abf6cbc06e6c2cb6341 (patch)
tree55902287d40fe3e8d17f9a76dc138b38d7553553
parent10c1ecc2798ee90a0cb115942beef8f9cba57f0d (diff)
include linting
-rw-r--r--Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am
index f54ff203f..19d6a8bef 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -5,7 +5,7 @@ AM_CPPFLAGS = -I$(top_srcdir)/src/include
if DOCUMENTATION_ONLY
SUBDIRS = doc
else
- SUBDIRS = m4 src po pkgconfig
+ SUBDIRS = m4 src po pkgconfig lint
endif
# documentation on / off switch (affects all of the documentation)