sysdep.c (__gnat_get_task_options): Refine the workaround for the VX_USR_TASK_OPTION...
authorJerome Lambourg <lambourg@adacore.com>
Mon, 26 Oct 2015 13:14:49 +0000 (13:14 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 13:14:49 +0000 (14:14 +0100)
commit90707ac1bbeaa670d0a93de3f4299254dd4579c9
tree7d1521ce7ef36b2e9a2683fb5fdcf8b29f91d83b
parentfa73fc3d39956ebf22998dea8bffa96fad34d6f2
sysdep.c (__gnat_get_task_options): Refine the workaround for the VX_USR_TASK_OPTION bug in VxWorks 7...

2015-10-26  Jerome Lambourg  <lambourg@adacore.com>

* sysdep.c (__gnat_get_task_options): Refine the workaround for
the VX_USR_TASK_OPTION bug in VxWorks 7, as we cannot check the
value of VX_DEALLOC_TCB in RTP mode, the macro value not being
defined in the headers.
* g-arrspl.ads: Fix typo.

From-SVN: r229356
gcc/ada/ChangeLog
gcc/ada/g-arrspl.ads
gcc/ada/sysdep.c