Re: [boost] [modular boost] non-linked headers

Subject: Re: [boost] [modular boost] non-linked headers
From: Bjørn Roald (bjorn_at_[hidden])
Date: 2013-12-02 20:17:34

On 12/03/2013 02:01 AM, Edward Diener wrote:
> On 12/2/2013 7:08 PM, Bjørn Roald wrote:
>> On 12/03/2013 12:39 AM, Edward Diener wrote:
>>
> I assume then that git never deletes a file and recreates it with the
> same name when the file is updated, else the hardlink would no longer be
> pointing to the same file and the purpose of having a hardlink, as
> opposed to a symbolic link, would be defeated.

Right, that is what we need too know figure out - I don't know, but 
thinking about it I would not be surprised if use of hardlinks here is a 
very bad idea as it may be too much to expect of tools like git to 
always in-place copy everything if target is a link.

--
Bjørn