diff options
author | Richard Biener <rguenther@suse.de> | 2018-07-06 21:35:29 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-07-06 21:35:29 +1000 |
commit | b4e61f85ae26d215e8ad5d6e9fcda6c0745096a1 (patch) | |
tree | 12fcf57ac8f9aff1e468eacb3b1106915bf4da25 /ChangeLog | |
parent | fb6ef60aa1dc724cc749d1193f17fc258a022fd9 (diff) | |
download | dejagnu-b4e61f85ae26d215e8ad5d6e9fcda6c0745096a1.zip dejagnu-b4e61f85ae26d215e8ad5d6e9fcda6c0745096a1.tar.gz dejagnu-b4e61f85ae26d215e8ad5d6e9fcda6c0745096a1.tar.bz2 |
* lib/remote.exp (close_wait_program): Use separate kill command
for each pid.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2018-07-06 Richard Biener <rguenther@suse.de> + + * lib/remote.exp (close_wait_program): Use separate kill command + for each pid. + 2017-10-16 Ben Elliston <bje@gnu.org> * NEWS: Start a new section for the next release. |