+"time nice" prefixing.

[nethome.git] / bin / errs2

diff --git a/bin/errs2 b/bin/errs2
index 974cdc0..1bf94d7 100755 (executable)
--- a/bin/errs2
+++ b/bin/errs2
@@ -8,5 +8,5 @@ if [ "$1" = "-a" ];then
 fi
 (
        set -ex
-       make "$@"
+       time nice make "$@"
        ) 2>&1|tee $args errs2