[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46837: Makefile dependencies for info files
From: |
Eli Zaretskii |
Subject: |
bug#46837: Makefile dependencies for info files |
Date: |
Mon, 01 Mar 2021 18:47:48 +0200 |
> From: Glenn Morris <rgm@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?
- bug#46837: Makefile dependencies for info files,
Eli Zaretskii <=
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/04
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/04
- bug#46837: Makefile dependencies for info files, Eli Zaretskii, 2021/03/05
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/05
- bug#46837: Makefile dependencies for info files, Stefan Kangas, 2021/03/05
- bug#46837: Makefile dependencies for info files, Michael Albinus, 2021/03/07
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/07
- bug#46837: Makefile dependencies for info files, Michael Albinus, 2021/03/07