5 if [ "$APP_DIR" = "$0" ] ; then APP_DIR
=.
; fi
6 APP_DIR
=`cd $APP_DIR;pwd`; export APP_DIR
8 PLATFORM
=`unset HOSTTYPE; unset OSTYPE; bash -c 'echo $OSTYPE-$HOSTTYPE'`
10 BIN
=$APP_DIR/bin
/$PLATFORM
15 -d) shift; DEBUGGER
=gdb
;
17 exec $DEBUGGER $BIN $
*
19 echo "ERROR from $0:" >&2
20 echo "I cannot find an executable file for your host type ($PLATFORM)." >&2
21 echo "Look inside this application directory for a 'src' directory - if" >&2
22 echo "there is one then try running make inside it to create the executable." >&2