[debug/profile-mode] broken c++config.h

[Paolo Carlini]

On 03/20/2012 10:22 AM, Paolo Bonzini wrote:
> I think \$$ is better.  Besides that it looks good.
Thanks for the review. Yesterday, when Benjamin had a look, I decided to 
go ahead and just commit the patch as posted (after having double 
checked that indeed it worked for me), thus no escaping. But I noticed 
that nearby we have got quite a few unescaped $$, should we change all 
of them?

Thanks,
Paolo.