[PATCH v2] Use HP_TIMING for benchmarks if available

[Ondřej Bílka]

On Mon, May 13, 2013 at 01:26:54PM +0530, Siddhesh Poyarekar wrote:
> On Mon, May 13, 2013 at 09:48:19AM +0200, Andreas Schwab wrote:
> > 
> > Please add a comment.
> > 
> 
> Done.  Updated patch.
> 

> @@ -53,13 +55,9 @@ main (int argc, char **argv)
>    memset (&start, 0, sizeof (start));
>    memset (&end, 0, sizeof (end));
These memsets are retundant. Remove them.