Re: [PATCH] RFC: add --shuffle[=seed] argument support

2022-02-05 Thread Paul Smith
Nice work! On Sat, 2022-02-05 at 22:04 +, Sergei Trofimovich wrote: > Some high level TODOs: For this amount of change it's likely that you'll need to provide copyright assignment paperwork. Let me know if you'd like more details about this. > - No documentation for the optin yet. This fea

Re: [PATCH] RFC: add --shuffle[=seed] argument support

2022-02-05 Thread Alejandro Colomar (man-pages)
Hello Sergei, On 2/5/22 23:04, Sergei Trofimovich wrote: > The idea of the change is to introduce non-deterministic ordering > into goal and prerequisite traversal to imitate non-deterministic > ordering of 'make -j' mode. > > The implementation is to reorder lists of goals to build and list > of

[PATCH] RFC: add --shuffle[=seed] argument support

2022-02-05 Thread Sergei Trofimovich
The idea of the change is to introduce non-deterministic ordering into goal and prerequisite traversal to imitate non-deterministic ordering of 'make -j' mode. The implementation is to reorder lists of goals to build and list of dependencies attached to files reachable via goals. tested on the fo

Errors in man pages of make

2022-02-05 Thread Helge Kreutzmann
Dear make maintainer, the manpage-l10n project maintains a large number of translations of man pages both from a large variety of sources (including make) as well for a large variety of target languages. During their work translators notice different possible issues in the original (english) man p