>If it helps, here is the output of "file /netbsd" which tells you for
>sure it is an ELF system.
>
>/netbsd: ELF 32-bit LSB executable, Intel 80386, version 1, statically linke
>d, not stripped
>
>so;
>
>if [ "`file /netbsd | cut -d' ' -f2`" = "ELF" ]
>then elf=yes
>fi
>
>Under the netbsd secion of configure_in should do it.

It's worth getting this really right during the migration to ELF...

That test doesn't work on pmax systems which have ECOFF-format kernels
(for netbooting) and ELF userland. A `clean' test that asks the kernel
what format(s) it supports would be nice; absent that, testing on
userland binaries as well --say /usr/libexec/ld.elf_so (or maybe
instead?)  is safer than relying on the format of the kernel itself.