Hi Richard, Long time, no talk!
On Thu, Jul 05, 2018 at 12:24:32PM +0200, Richard Biener wrote: > So my suggestion is to first fix the pgid computation (which would > probably solve my other issue as well), then to either avoid using > shell builtins by doing && (env kill -15 ... or to not rely on the > particular semantics of multiple process kills and somehow iterate > over $pid/$pgid. I agree with your approach. Would you care to work up a patch? :-) Thanks, Ben
signature.asc
Description: PGP signature
_______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu
