+++ /dev/null
-#!/bin/csh -f
-
-set OS=`uname -s`
-set HOST_ARCH=`uname -m`
-
-switch ($OS)
- case Linux:
- set OS_PART=linux
- breaksw
- case SunOS:
- set OS_PART=sol8-64
- breaksw
- case OSF1:
- set OS_PART=tru64-gcc
- breaksw
- default:
- set OS_PART=`echo $OS | sed 's/ /-/g'`
-endsw
-
-switch ($HOST_ARCH)
- case i586:
- set ARCH=x86
- breaksw
- case i686:
- set ARCH=x86
- breaksw
- case x86_64:
- set ARCH=amd64
- breaksw
- case sun4u:
- set ARCH=v9
- breaksw
- default:
- set ARCH=`echo $HOST_ARCH | sed 's/ /-/g'`
-endsw
-
-echo $ARCH-$OS_PART
-