On Wed, Apr 12, 2000 at 09:11:11AM +0200, Jakub Jelinek wrote: > If you wanted to change the default, you'd either have to come up with > a new target (elf32freebsd_i386 or whatever) or identify FreeBSD ABI > binaries (e.g. with .note.ABI-tag), Sounds like a good approach, I'll take this path. Thanks! -- -- David (obrien@FreeBSD.org)