#!/bin/sh
#	simple redirection script to find the correct executable
#	for this machine architecture
MACHINE=${MACHINE-"`ScriptDir/harch`"}
exec ExecutableDir/$MACHINE/`basename $0` "$@"
syntax highlighted by Code2HTML, v. 0.9.1