+"time nice" prefixing.

diff --git a/bin/errs1 b/bin/errs1
index 7012bf8..43d99b8 100755 (executable)
--- a/bin/errs1
+++ b/bin/errs1
@@ -13,5 +13,5 @@ fi
        export CFLAGS="$flags"
        export CXXFLAGS="$flags"
        export GCJFLAGS="$flags"
-       "$configure" --enable-static --disable-shared --enable-debug "$@"
+       time nice "$configure" --enable-static --disable-shared --enable-debug "$@"
        ) 2>&1|tee errs1

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