diff options
Diffstat (limited to 'misc/Makefile.am')
-rw-r--r-- | misc/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/misc/Makefile.am b/misc/Makefile.am index 250eea26d..1e031ecb1 100644 --- a/misc/Makefile.am +++ b/misc/Makefile.am @@ -5,3 +5,8 @@ EXTRA_DIST = generated-file.txt do_m4.bash make_sr.bash make_se.bash built-sources : $(BUILT_SOURCES) for s in $(SUBDIRS) ; do $(MAKE) -C $$s built-sources || exit 1 ; done +distcheck-deps : $(DISTCHECK_DEPS) distcheck-deps-subdirs + +distcheck-deps-subdirs : + for s in `echo $(SUBDIRS) | tr -d .` ; do $(MAKE) -C $$s distcheck-deps || exit 1 ; done + |