Profile mode maintenance patch

[Jonathan Wakely]

On 21/09/14 23:29 +0200, François Dumont wrote:
>    With all those modifications I have been able to run all testsuite 
>in profile mode with success.

I've looked over the patch and it looks fine.

I don't know the details of the Profile Mode, so if you're happy that
these changes are an improvement and all tests pass then that's good
enough for me.

>    Ok to commit ?

Yes, OK for trunk - thanks very much.