| -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \
| -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \
| -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \
- | -ptx*)
+ | -ptx* | -coff*)
;;
-sunos5*)
os=`echo $os | sed -e 's|sunos5|solaris2|'`
| -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \
| -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \
| -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \
- | -ptx*)
+ | -ptx* | -coff*)
;;
-sunos5*)
os=`echo $os | sed -e 's|sunos5|solaris2|'`