#! /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