On Mon, 12 Feb 2024 at 11:27, Jakub Jelinek wrote:
>
> On Mon, Feb 12, 2024 at 11:13:49AM +0100, Christophe Lyon wrote:
> > On Sun, 11 Feb 2024 at 06:56, Alexandre Oliva wrote:
> > >
> > > Hello, Christophe,
> > >
> > > On Feb 10, 2024, Christophe Lyon wrote:
> > >
> > > > gcc/
> > > >
On Mon, Feb 12, 2024 at 11:13:49AM +0100, Christophe Lyon wrote:
> On Sun, 11 Feb 2024 at 06:56, Alexandre Oliva wrote:
> >
> > Hello, Christophe,
> >
> > On Feb 10, 2024, Christophe Lyon wrote:
> >
> > > gcc/
> > > * Makefile.in: Add no-info dependency.
> > > * configure.ac:
On Sun, 11 Feb 2024 at 06:56, Alexandre Oliva wrote:
>
> Hello, Christophe,
>
> On Feb 10, 2024, Christophe Lyon wrote:
>
> > gcc/
> > * Makefile.in: Add no-info dependency.
> > * configure.ac: Set BUILD_INFO=no-info if makeinfo is not
> > available.
> > *
Hello, Christophe,
On Feb 10, 2024, Christophe Lyon wrote:
> gcc/
> * Makefile.in: Add no-info dependency.
> * configure.ac: Set BUILD_INFO=no-info if makeinfo is not
> available.
> * configure: Regenerate.
Thank you, this is ok.
Now, this doesn't fix a
Hi!
On Tue, 6 Feb 2024 at 06:37, Alexandre Oliva wrote:
>
> Hello, Christophe,
>
> Thanks for the patch.
>
> On Feb 5, 2024, Christophe Lyon wrote:
>
> > In order to save build time, our CI overrides BUILD_INFO="", which
> > works when invoking 'make all' but not for 'make install' in case
Hello, Christophe,
Thanks for the patch.
On Feb 5, 2024, Christophe Lyon wrote:
> 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.
Hmm, I don't think this would be
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
