bin/mr

   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 ### elif [ -n "$1" ];then arg="$1";shift
   7 fi
   8 if [ -z "$arg" ];then
   9         arg="`basename "$PWD"`"
  10 fi
  11
  12 run_args="`mdr_args "$arg"`"
  13
  14 echo "ARG: $arg"
  15 set -xe
  16 make "$arg"
  17 ./"$arg" $run_args