#!/bin/sh
#	simple redirection script to find the correct executable
#	for this machine architecture
MACHINE=${MACHINE-"`/home/sylvain/Projects/nhc98/script/harch`"}
exec /home/sylvain/Projects/nhc98/lib/$MACHINE/`basename $0` "$@"