+"time nice" prefixing.

[nethome.git] / bin / errs1

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