#! /bin/sh
if [ -f .print_userprogs ];then
	if [ `wc -l <.print_userprogs` = 1 ];then
		arg="./`sed 's/:.*//' <.print_userprogs`"
	fi
fi
if [ -z "$arg" ];then
	arg="`basename "$PWD"`"
fi

run_args="`mdr_args "$arg"`"

if [ -z "$1" ];then
	cmd="run"
else
	cmd="rtl $1";shift
fi

echo "ARG: $arg  CMD: $cmd"
t="/tmp/mr.$$";rm -f "$t"
trap 'rm -f "$t"' EXIT
cat >"$t" <<EOCMDS
set args $run_args
`stty size|awk '{print "set height "$1"\nset width "$2}'`
echo $cmd\n
$cmd
shell rm -vf "$t"
EOCMDS
set -xe
make "$arg"
gdb --command="$t" ./"$arg"