ref: 70f58215d2de68e38c9c6734258baa7b47c2da6a
parent: 7f148c722edcf2a52cd16f3fda862eb02a36014e
author: robs <robs>
date: Thu Feb 5 06:39:48 EST 2009
fix for solaris
--- a/src/tests.sh
+++ b/src/tests.sh
@@ -171,7 +171,7 @@
}
stderr_time () {
- grep -vE "^real |^user |^sys " $1 1>&2
+ egrep -v "^real |^user |^sys " $1 1>&2
grep "^user " $1 | sed "s/^user //"
}