$(if$(EXTRA_INSTALL),for extra in $(EXTRA_INSTALL);do$(MAKE) -C '$(top_builddir)'/$$extra DESTDIR='$(abs_top_builddir)'/tmp_install install || exit;done)
$(if$(EXTRA_INSTALL),for extra in $(EXTRA_INSTALL);do$(MAKE) -C '$(top_builddir)'/$$extra DESTDIR='$(abs_top_builddir)'/tmp_install install || exit;done)