projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4fe5bbc) | patch
[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
tree617c7e7316964ecb0b1d3979e5021c12f005c8a2tree | snapshot
parent4fe5bbcf30a491a1722fa1752bc0ea9c32dcb2e3commit | diff
[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 diff | blob | history
gcc/ada/libgnat/s-os_lib.adb diff | blob | history
Domain: System / Toolchain;