git://git.jankratochvil.net
/
nethome.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
1bf94d7ef608dd30860a8e2974310c2537113904
[nethome.git]
/
bin
/
errs2
1
#! /bin/sh
2
# $Id$
3
4
args=""
5
if [ "$1" = "-a" ];then
6
args="$args $1"
7
shift
8
fi
9
(
10
set -ex
11
time nice make "$@"
12
) 2>&1|tee $args errs2