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