2 if [ -f .print_userprogs ];then
3 if [ `wc -l <.print_userprogs` = 1 ];then
4 arg="./`sed 's/:.*//' <.print_userprogs`"
8 arg="`basename "$PWD"`"
11 run_args="`mdr_args "$arg"`"
19 echo "ARG: $arg CMD: $cmd"
20 t="/tmp/mr.$$";rm -f "$t"
21 trap 'rm -f "$t"' EXIT
24 `stty size|awk '{print "set height "$1"\nset width "$2}'`
31 gdb --command="$t" ./"$arg"