[Hampshire] Linux time command for DOS?

Hi,

Ok so slightly off topic but I have a large number of GNU utilities
compiled to run under Windows/DOS but I've never found a version of the
Linux time command.

I could really use a copy to... well, err, time somethings :)

Does anybody know where I can find a version to run under DOS?

Andy