Re: Brain surgery on the make system

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> ----- Original Message ----- 
> From: "John Mandereau" <address@hidden>
> To: "David Kastrup" <address@hidden>; "Phil Holmes" <address@hidden>
> Cc: "Lily devel" <address@hidden>
> Sent: Monday, August 27, 2012 4:03 PM
> Subject: Re: Brain surgery on the make system
>
>
>> Hi Phil,
>>
>> I hoped that missing directories would be supported, and saw those
>> warnings too but thought they were harmless and didn't bother.  Adding
>> dummy files is the easiest solution.
>>
>> 2012/8/27 David Kastrup <address@hidden>:
>>> One stupid way to keep those directories is to place an empty .gitignore
>>> file in them.
>>
>> Good idea. As a bonus, some support for creating these .gitignore
>> files could be added in Documentation/GNUmakefile:new-lang target.
>
> That ought not to be necessary, should it?  Once they're part of the
> git repo, they should stay?

That question is kind of hypothetical since git does not store
directories as objects of their own.  As far as git is concerned, an
empty directory is an oxymoron.  If a directory becomes empty during a
commit, git will attempt to remove the directory and then consider it
unregistered, whether or not the removal succeeds.

-- 
David Kastrup