https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100203
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- Arguably the Bash builtin is behaving as documented. It doesn't mention any support for process group IDs, and says it returns 0 if at least one signal was sent, which is true because dejagnu is passing two PIDs.
