os=
basic_machine=$1
;;
+ -sco3.2v[4-9]*)
+ # Don't forget version if it is 3.2v4 or newer.
+ os=-sco3.2v4
+ basic_machine=i386-unknown
+ ;;
-sco*)
os=-sco3.2v2
basic_machine=i386-unknown
crds | unos)
basic_machine=m68k-crds
;;
+ elxsi)
+ basic_machine=elxsi-elxsi
+ os=-bsd
+ ;;
encore | umax | mmax)
basic_machine=ns32k-encore
os=-bsd
| -vms* | -sco* | -esix* | -isc* | -aix* | -sunos* | -hpux* \
| -unos* | -osf* | -luna* | -dgux* | -solari* | -sym* \
| -amigados* | -msdos* | -newsos* | -unicos* | -aos* \
- | -nindy* | -vxworks* | -ebmon* | -hds* | -m88kbcs*)
+ | -nindy* | -vxworks* | -ebmon* | -hds* | -m88kbcs* \
+ | -riscos* | -linux* )
;;
-osfrose*)
os=-osfrose