@ -40,7 +40,7 @@
(USUAL_OBJDUMP_FOR_TARGET): New.
(EXTRA_TARGET_FLAGS): Add OBJDUMP.
* configure.in: Check for $OBJDUMP_FOR_TARGET.
* configure, Makefile: Regenerated.
* configure, Makefile.in: Regenerated.
2005-10-05 Paolo Bonzini <bonzini@gnu.org>