include linting
authorChristian Grothoff <christian@grothoff.org>
Wed, 3 Apr 2019 12:39:03 +0000 (14:39 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 3 Apr 2019 12:39:03 +0000 (14:39 +0200)
Makefile.am

index f54ff203f42203ee63ac02ba7a0505c55d8cce65..19d6a8bef3916cdbe2664300067a1b1b88dd2b88 100644 (file)
@@ -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)