/usr/bin/time -v (or -f=%M) is 64 times what it should be

[Marty Shannon]

This is probably another page size/count miscalculation.  I use that
field for benchmarking, so it means adding a Cygwin-specific hack to
make the scripts portable to other Posix systems.

Cheers,
Marty

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple