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

MACHINE=armv5tel-Linux
exec /usr/lib/hat-2.05/$MACHINE/`basename $0` "$@"
