#! /bin/sh
GRSHELL=`readlink -f "$0"`
GRSHELL_HOME=`dirname "$GRSHELL"`
if which mono &> /dev/null; then
	mono "$GRSHELL_HOME/GrShell.exe" ${1+"$@"}
else
	"$GRSHELL_HOME/GrShell.exe" ${1+"$@"}
fi
