#TEST_LOGDEV=/dev/sda9
#TEST_RTDEV=/dev/sda10
SCRATCH_MNT=/mnt/scratch
+ #SCRATCH_DEV=emu:/mnt/scratch
SCRATCH_DEV=/dev/sda5
SCRATCH_LOGDEV=/dev/sda8
SCRATCH_RTDEV=/dev/sda7
TEST_DEV=/dev/dsk/dks0d2s0
#TEST_LOGDEV=
SCRATCH_MNT=/mnt/scratch
- SCRATCH_DEV=/dev/dsk/dks0d2s1
+ #SCRATCH_DEV=emu:/mnt/scratch
+ SCRATCH_DEV=/dev/dsk/dks0d2s1
#SCRATCH_LOGDEV=
#SCRATCH_RTDEV=
TAPE_DEV=/dev/tape
SCRATCH_MNT=/mnt/scratch
SCRATCH_DEV=/dev/sdb2
;;
+ inferno)
+ MODULAR=0
+ EMAIL="ajones@sgi.com"
+ TEST_DIR=/mnt/test
+ TEST_DEV=/dev/sdb1
+ SCRATCH_MNT=/mnt/scratch
+ SCRATCH_DEV=/dev/sdb2
+ ;;
*)
echo "Error: need to define parameters for host $HOST"