#!/bin/sh
#	simple redirection script to find the correct executable
#	for this machine architecture
set -e

MACHINE=${MACHINE-"`/usr/bin/harch`"}
exec /usr/lib/hat-2.05/$MACHINE/`basename $0` "$@"
