Comment 1 for bug 94607

Revision history for this message
William Grant (wgrant) wrote :

That's because time is a reserved word in bash (and probably other shells); it has its own implementation. Sticking /usr/bin/ in front of time should do the trick.