bin/md

   1 #! /bin/sh
   2 if [ -f .print_userprogs ];then
   3         if [ `wc -l <.print_userprogs` = 1 ];then
   4                 arg="./`sed 's/:.*//' <.print_userprogs`"
   5         fi
   6 fi
   7 if [ -z "$arg" ];then
   8         arg="`basename "$PWD"`"
   9 fi
  10
  11 run_args="`mdr_args "$arg"`"
  12
  13 if [ -z "$1" ];then
  14         cmd="run"
  15 else
  16         cmd="rtl $1";shift
  17 fi
  18
  19 echo "ARG: $arg  CMD: $cmd"
  20 t="/tmp/mr.$$";rm -f "$t"
  21 trap 'rm -f "$t"' EXIT
  22 cat >"$t" <<EOCMDS
  23 set args $run_args
  24 `stty size|awk '{print "set height "$1"\nset width "$2}'`
  25 echo $cmd\n
  26 $cmd
  27 shell rm -vf "$t"
  28 EOCMDS
  29 set -xe
  30 make "$arg"
  31 gdb --command="$t" ./"$arg"