GNU bug report logs - #46837
Makefile dependencies for info files

Previous Next

Full log

Message #8 received at 46837 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 46837 <at> debbugs.gnu.org
Subject: Re: bug#46837: Makefile dependencies for info files
Date: Mon, 01 Mar 2021 18:47:48 +0200

> From: Glenn Morris <rgm <at> gnu.org>
> Date: Sun, 28 Feb 2021 18:39:40 -0500
> 
> I suspect that the Makefile dependencies for info files could be
> incomplete as of 4825ea3c5d. The symptoms would be info related errors
> in parallel builds, and missing files in info/dir.
> I would appreciate it if someone would review it.

Is the fact that we now rebuild info/dir each time we run "make", even
if nothing else is rebuilt, part of this issue?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.