Hello! > Thanks, this variant is fine with me.
Good. I'm waiting for it to be committed, since i would like to go on with merging spawn-patch. In order to make it switched at runtime, i would like to refactor child_execute_job(). I have suggested this earlier, nobody replied. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make