bash-2.02 builtin 'time' won't redirect

[John Mullee]

time blah > timelog 2>&1
echos the times to the console -
is this normal? shouldn't they get redirected?

mystified, brussels

-----

bash-2.02$ time ls > timelog 2>&1 ; cat timelog

real    0m0.281s
user    0m0.050s
sys     0m0.090s

bash-2.02$ `time ls` > timelog 2>&1 ; cat timelog

real    0m0.151s
user    0m0.050s
sys     0m0.080s

bash-2.02$ /bin/time ls > timelog 2>&1 ; cat timelog
timelog
0.02user 0.08system 0:00.15elapsed 66%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+0minor)pagefaults 0swaps

-
For help on using this list (especially unsubscribing), send a message to
"gnu-win32-request@cygnus.com" with one line of text: "help".