#!/bin/sh

# Identify system type
# PG, 8-2-1997

system=`(uname) 2>/dev/null`
hosttype=${HOSTTYPE:-generic}
system=${system:-$hosttype}

case $system in
SunOS)           echo sun;;
AIX)             echo ibm;;
OSF1)            echo dec;;
IRIX | IRIX64)   r=`uname -r | awk -F. '{print $1}'`
                 if [ $r -le 5 ]; then echo sgi5; else echo sgi; fi;;
HP-UX)           echo hp;;
ConvexOS)        echo convex;;
SUPER-UX)        echo nec;;
CRAY | sn*)      echo cray;;
"Paragon OSF/1") echo paragon;;
Linux)           if [ "$PGI" ]; then echo portland; else echo gnu; fi;;
*)               echo unknown;;
esac
