#!/bin/csh -f
#
# present the targetid like ls_targetid does
#
# 960905 Added linux entries.

set gsb=$0
if ( "$gsb:h" == "getid" ) then
  set gs=./getsysid
else
  set gs="$gsb:h"/getsysid
endif
switch(`uname -m`)
   case IP[0-9]:
   case IP[0-9][0-9]:
   case IP[0-9][0-9][0-9]:
      set m = iris
      set id=`$gs`
      breaksw
   case MIPS:
   case RISC:
      set id=`$gs`
      set m = dec
      breaksw
   case sun:
   case sun4:
   case sun4[a-z0-9]:
      set id=`$gs`
      set m = sun
      breaksw
   case 9000/[0-9][0-9][0-9]:
      set id=`$gs`
      set m = hp
      breaksw
   case i986:
   case i886:
   case i786:
   case i686:
   case i586:
   case i486:
   case i386:
      set id=`$gs`
      set m = linux
      breaksw
   default:
      echo unknown machine
      exit 1
endsw

echo Your machine number is: $id
