#!/bin/sh
dir=`dirname "$0"`
. $dir/ardev_common.sh
exec gdb $EXECUTABLE $*