#! /bin/csh -f
set this = $0
set bpth = ${this:h}/..
set icem_prod = ${this:t}

switch (`uname`)
  case HP-UX: 
              set bindir_ext = _hp11
              breaksw
  case SunOS: 
              set bindir_ext = _sun5
              breaksw
  case AIX:   
              set bindir_ext = _ibm4
              breaksw
  case Linux: 
              set bindir_ext = _linux
              breaksw
  case IRIX*: 
              set bindir_ext = _sgi6
              breaksw
endsw

$bpth/bin$bindir_ext/$icem_prod $*
