Subject: Re: [boost] big problem with dependency changes
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2014-06-18 00:55:20
On Wed, Jun 18, 2014 at 1:29 AM, Bjørn Roald <bjorn_at_[hidden]> wrote:
> 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?