git://git.jankratochvil.net
/
nethome.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Maybe implemented PGP-5.x+ compatibility.
[nethome.git]
/
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