Re: master 9e94509 3/3: Generate info/dir directly from any org sources

[Andreas Schwab]

On Mär 06 2021, Basil L. Contovounesios wrote:

> diff --git a/Makefile.in b/Makefile.in
> index 856c29a453..fc5381bc3e 100644
> --- a/Makefile.in
> +++ b/Makefile.in
> @@ -1008,13 +1008,17 @@ misc-dvi misc-html misc-pdf misc-ps:
>  
>  info-dir: ${srcdir}/info/dir
>  
> +# FIXME: This subshell output can be interspersed with parallel Make
> +# output.  The current workaround is to filter only words that look
> +# like the file names we expect.  An alternative workaround is to pass
> +# the -O option, but that is not supported by older Make versions.
>  texi_misc = $(shell ${MAKE} --no-print-directory -s -C doc/misc echo-sources)

Does it help to add -j1?

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."