[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make install or make install-doc or make install-info touches in-tre
|
From: |
David Kastrup |
|
Subject: |
Re: make install or make install-doc or make install-info touches in-tree files |
|
Date: |
Mon, 18 Oct 2021 22:48:14 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
James <pkx166h@posteo.net> writes:
> On 17/10/2021 21:45, David Kastrup wrote:
>>
>> Since it is sort of a nuisance to get rid of files you don't own, it
>> would be good if make install-* did not create any files in-tree when
>> the respective make * commands have already been run.
>>
>> After all, it is one of the most common use cases to run make install-*
>> as a different user.
>
> https://gitlab.com/lilypond/lilypond/-/issues/6199
>
> Thanks
Thanks! It may sound silly, but I really am lost figuring out what
flags and category apply.
--
David Kastrup