test $?shell = 1 && set uname=`uname`
test $?shell = 1 && test $uname = "SunOS" && set platform="solaris-sparc"
test $?shell = 1 && test $uname = "Linux" && set platform="linux-pentium"
test $?shell = 1 && test $uname = "HP-UX" && set platform="hpux-hppa"