This commit was manufactured by cvs2svn to create branch 'unlabeled-1.25.2'.

[nethome.git] / bin / mr

diff --git a/bin/mr b/bin/mr
deleted file mode 100755 (executable)
index 3a5a49c..0000000
--- a/bin/mr
+++ /dev/null
@@ -1,17 +0,0 @@
-#! /bin/sh
-if [ -f .print_userprogs ];then
-       if [ `wc -l <.print_userprogs` = 1 ];then
-               arg="./`sed 's/:.*//' <.print_userprogs`"
-       fi
-### elif [ -n "$1" ];then arg="$1";shift
-fi
-if [ -z "$arg" ];then
-       arg="`basename "$PWD"`"
-fi
-
-run_args="`mdr_args "$arg"`"
-
-echo "ARG: $arg"
-set -xe
-make "$arg"
-./"$arg" $run_args