947
956
test -d $(distdir)/_build || exit 0; \
948
957
dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \
949
958
&& dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \
953
962
$(AM_DISTCHECK_CONFIGURE_FLAGS) \
954
963
$(DISTCHECK_CONFIGURE_FLAGS) \
956
965
&& $(MAKE) $(AM_MAKEFLAGS) \
957
966
&& $(MAKE) $(AM_MAKEFLAGS) dvi \
958
967
&& $(MAKE) $(AM_MAKEFLAGS) check \