diff options
Diffstat (limited to 'tools/Makefile.am')
| -rw-r--r-- | tools/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am index 151092bc..64fa0604 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -1,7 +1,9 @@ include Makefile.sources +SUBDIRS = null_state_gen + if HAVE_DUMPER -SUBDIRS = quick_dump +SUBDIRS += quick_dump endif AM_CPPFLAGS = -I$(top_srcdir) -I$(top_srcdir)/lib |