diff options
Diffstat (limited to 'hl/tools/Makefile.am')
-rw-r--r-- | hl/tools/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/hl/tools/Makefile.am b/hl/tools/Makefile.am index 6687f40..f3fe0d3 100644 --- a/hl/tools/Makefile.am +++ b/hl/tools/Makefile.am @@ -18,7 +18,13 @@ include $(top_srcdir)/config/commence.am +if BUILD_TOOLS_HL_GIF_CONDITIONAL + TOOLS_GIF_DIR = gif2h5 +else + TOOLS_GIF_DIR = +endif + # All subdirectories -SUBDIRS=gif2h5 h5watch +SUBDIRS=$(TOOLS_DIR) h5watch include $(top_srcdir)/config/conclude.am |