[Ada] Os_Lib: do not call __gnat_kill for Invalid_Pid
authorDmitriy Anisimkov <anisimko@adacore.com>
Mon, 8 Jul 2019 08:14:50 +0000 (08:14 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 8 Jul 2019 08:14:50 +0000 (08:14 +0000)
commit3a4a60d1d2303f51ea0ed442aa38cc5a9a4201c5
tree617c7e7316964ecb0b1d3979e5021c12f005c8a2
parent4fe5bbcf30a491a1722fa1752bc0ea9c32dcb2e3
[Ada] Os_Lib: do not call __gnat_kill for Invalid_Pid

2019-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>

gcc/ada/

* libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid.

From-SVN: r273223
gcc/ada/ChangeLog
gcc/ada/libgnat/s-os_lib.adb