On 5 February 2024 12:30:23 CET, Christophe Lyon <christophe.l...@linaro.org> wrote: >On Fri, 2 Feb 2024 at 11:40, Christophe Lyon <christophe.l...@linaro.org> >wrote: >> >> On Fri, 2 Feb 2024 at 11:10, <rep.dot....@gmail.com> wrote: >> > >> > On 1 February 2024 18:15:34 CET, Christophe Lyon >> > <christophe.l...@linaro.org> wrote: >> > >BUILD_INFO is currently a byproduct of checking makeinfo >> > >presence/version. INSTALL_INFO used to be defined similarly, but was >> > >removed in 2000 (!) by commit 17db658241d18cf6db59d31bc2d6eac96e9257df >> > >(svn r38141). >> > > >> > >In order to save build time, our CI overrides BUILD_INFO="", which >> > >works when invoking 'make all' but not for 'make install' in case some >> > >info files need an update. >> > >> > Instead of resurrecting INSTALL_INFO maybe you could something along the >> > lines of >> > >> > https://gcc.gnu.org/bugzilla/attachment.cgi?id=15038&action=edit >> >> Ha indeed something along these lines would work too. >> Thanks for the archaeology :-) >> >> > >> > not sure which approach would be considered cleaner.. >> Not sure either. >> >> What do maintainers prefer? >> > >Actually that leads to a small patch: >https://gcc.gnu.org/pipermail/gcc-patches/2024-February/644957.html
Thats even better. thanks > >> > >> > HTH
