#!/bin/sh
#	simple redirection script to find the correct executable
#	for this machine architecture
MACHINE=alpha-Linux
exec /usr/lib/hat/$MACHINE/`basename $0` "$@"
