[PATCH] MI: new timing command

[Eli Zaretskii]

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Sat, 30 Dec 2006 21:47:23 +1300
> 
> Here's a patch for timing MI commands e.g.

Thanks, but where's the documentation to go with it?

> diff -c -p -r1.86 mi-main.c
> *** mi-main.c	17 Nov 2006 19:30:41 -0000	1.86
> --- mi-main.c	30 Dec 2006 08:42:29 -0000
> ***************
> *** 49,54 ****
> --- 49,55 ----
>   
>   #include <ctype.h>
>   #include <sys/time.h>
> + #include <sys/resource.h>

Is sys/resource.h guaranteed to be available on all supported
platforms?  If not, we need to add a configure-time test and enable
this code only under HAVE_GETRUSAGE or some such.