Linux (or Ubuntu specific) tools to measure number of page faults

[Colin Watson]

On Tue, May 01, 2012 at 10:04:47PM -0400, Phillip Susi wrote:
> Note that you need to explicitly specify /usr/bin/time to prevent the
> shell builtin time command from being used, which is more limited.

Or 'command time'.

-- 
Colin Watson                                       [cjwatson at ubuntu.com]