Bug#501318: Bash built-in?

[Eugene V. Lyubimkin]

It seems you are using shell built-in 'time ' command.

Try /usr/bin/time.

-- 
Eugene V. Lyubimkin aka JackYF

signature.asc
Description: OpenPGP digital signature