[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 9e94509 3/3: Generate info/dir directly from any org sources
From: |
Eli Zaretskii |
Subject: |
Re: master 9e94509 3/3: Generate info/dir directly from any org sources |
Date: |
Sat, 06 Mar 2021 16:51:07 +0200 |
> From: Mattias EngdegÄrd <mattiase@acm.org>
> Date: Sat, 6 Mar 2021 15:16:21 +0100
> Cc: Glenn Morris <rgm@gnu.org>, emacs-devel@gnu.org
>
> 6 mars 2021 kl. 12.51 skrev Basil L. Contovounesios <contovob@tcd.ie>:
>
> > -texi_misc = $(shell ${MAKE} --no-print-directory -s -C doc/misc
> > echo-sources)
> > +texi_misc = $(shell ${MAKE} --no-print-directory -O -s -C doc/misc
> > echo-sources)
>
> Maybe configure should check for the required GNU Make version then? (Om
> macOS, the system standard is 3.81, which worked until this change.)
Indeed, it broke my builds as well. So I reverted the change for now,
until we find a gentler one. I don't want us to depend on a Make
version that is too recent.
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/05
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/05
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Mattias EngdegÄrd, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources,
Eli Zaretskii <=
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Eli Zaretskii, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Andreas Schwab, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Andreas Schwab, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/06