709
720
test -d $(distdir)/_build || exit 0; \
710
721
dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \
711
722
&& dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \
715
726
$(AM_DISTCHECK_CONFIGURE_FLAGS) \
716
727
$(DISTCHECK_CONFIGURE_FLAGS) \
718
729
&& $(MAKE) $(AM_MAKEFLAGS) \
719
730
&& $(MAKE) $(AM_MAKEFLAGS) dvi \
720
731
&& $(MAKE) $(AM_MAKEFLAGS) check \