>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: >> Tested by rebuilding on x86-64 Fedora 18 Pedro> I assume an --enable-targets=all build. Yeah. Aside from specific cases that's my default build. Tom