|
From: | James |
Subject: | Re: make install or make install-doc or make install-info touches in-tree files |
Date: | Mon, 18 Oct 2021 20:36:08 +0000 |
Hello On 17/10/2021 21:45, David Kastrup wrote:
If I do make && make doc && make info followed by sudo make install && sudo make install-doc && sudo make install-info I am left with files in the tree that are not owned by myself. To wit: find ! -user dak gives me ./out/offline-root ./out/offline-root/AUTHORS.txt ./out/offline-root/NEWS.txt ./out/offline-root/ROADMAP ./out/offline-root/DEDICATION ./out/offline-root/HACKING ./out/offline-root/README.md
...
./Documentation/out/topdocs/NEWS.texi ./Documentation/out/topdocs/AUTHORS.txt ./Documentation/out/topdocs/NEWS.txt ./Documentation/out/topdocs/NEWS.makeinfotxt.log ./Documentation/out/topdocs/INSTALL.txt ./Documentation/out/topdocs/INSTALL.texi ./Documentation/out/topdocs/INSTALL.makeinfotxt.log ./Documentation/out/topdocs/AUTHORS.texi 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 James -- Regards James
[Prev in Thread] | Current Thread | [Next in Thread] |