dash/contrib/auto_gdb/dash_dbg.sh