diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/Makefile.am | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/misc/Makefile.am b/misc/Makefile.am index 0f9aee79c..1fcf2c2c5 100644 --- a/misc/Makefile.am +++ b/misc/Makefile.am @@ -5,10 +5,3 @@ EXTRA_DIST = generated-file.txt do_m4.bash make_se.bash make_nn.bash built-sources : $(BUILT_SOURCES) for s in $(SUBDIRS) ; do $(MAKE) -C $$s built-sources || exit 1 ; done -distcheck-deps-local : $(DISTCHECK_DEPS) - -distcheck-deps : distcheck-deps-subdirs - -distcheck-deps-subdirs : - for s in $(SUBDIRS) . ; do if test x$$s = x. ; then $(MAKE) distcheck-deps-local || exit 1 ; \ - else $(MAKE) -C $$s distcheck-deps || exit 1 ; fi ; done |