Parallel input synchronization

[Frank Heckenbach]

Hi,

as you know, GNU make has added an output-sync option some time ago,
but has no mechanism to handle input to parallel jobs. Indeed, this
is rarely needed, but I actually have a use case, so I implemented a
solution, which does not require any changes to make (unlike
output-sync), just changes to scripts called from Makefiles and a
wrapper to invoke the top-level make.

I've put it on GitHub, with a more detailed description and a demo:
https://github.com/frankheckenbach/make-input-sync

I don't suggest to add it (or anything similar) to make itself,
because of the limited audience, dependencies (POSIX and bash for my
implementation) and technical reasons as described in the README.

So this is just FYI in case someone is interested, or wants to port
it to other systems, or in case such a feature is requested again,
such as here (possibly -- that request is rather confusing ...):
https://lists.gnu.org/archive/html/bug-make/2013-04/msg00248.html

Regards,
Frank