https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
--- Comment #7 from Eric Botcazou ---
Author: ebotcazou
Date: Wed Feb 1 21:36:09 2017
New Revision: 245107
URL: https://gcc.gnu.org/viewcvs?rev=245107&root=gcc&view=rev
Log:
PR ada/79309
* adaint.c (__gnat_killprocesstree): Use
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
Eric Botcazou changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
--- Comment #5 from Eric Botcazou ---
Author: ebotcazou
Date: Wed Feb 1 20:36:23 2017
New Revision: 245103
URL: https://gcc.gnu.org/viewcvs?rev=245103&root=gcc&view=rev
Log:
PR ada/79309
* adaint.c (__gnat_killprocesstree): Fix
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
--- Comment #4 from Eric Botcazou ---
> I think it would be better to do:
Yes, this works for me.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
Eric Botcazou changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79309
Martin Sebor changed:
What|Removed |Added
Keywords||build, patch
--- Comment #1 from Martin S
