18 Jun
2014
18 Jun
'14
4:55 a.m.
On Wed, Jun 18, 2014 at 1:29 AM, Bjørn Roald
On 06/17/2014 10:46 AM, Peter Dimov wrote:
Moral of the story: don't edit the files in boost/.
Good! but even if all are fixed, it is not good to have these subtle issues where users have to be careful. Part of the problem is that many tools such as IDE's with built-in symbol browsing, debugers etc. will lead users to those headers they should not edit.
Perhaps 'b2 headers' should create these files protected from modification?