Boost logo

Boost :

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?

Boost list run by bdawes at, gregod at, cpdaniel at, john at