reassign 388458 bash thanks Hi, this looks like a bug in bash, not /usr/bin/time, so reassigning there.
-- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
