aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2018-07-06 21:35:29 +1000
committerBen Elliston <bje@gnu.org>2018-07-06 21:35:29 +1000
commitb4e61f85ae26d215e8ad5d6e9fcda6c0745096a1 (patch)
tree12fcf57ac8f9aff1e468eacb3b1106915bf4da25 /ChangeLog
parentfb6ef60aa1dc724cc749d1193f17fc258a022fd9 (diff)
* 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--ChangeLog5
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index a188140..679f997 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.