Follow-up Comment #15, bug #49014 (project make):
I've been running with the git head as of your 2017-06-04 request. The
problem hasn't recurred for me. I don't think that means as much as it would
have a few months ago because I've had less cause to run my
"pgid=$(find-pid-of-root-of-big-recursive-make-job); while pid-still-going
$pgid; do kill -STOP -$pgid; sleep 1; kill -CONT -$pgid; sleep 1; done" script
recently. Still, looks hopeful.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?49014>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
