2008-07-31 Jose Ruiz <ruiz@adacore.com>
authorJose Ruiz <ruiz@adacore.com>
Thu, 31 Jul 2008 14:41:01 +0000 (16:41 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2008 14:41:01 +0000 (16:41 +0200)
commitd59214bd1cf3d4803b0f78b9f6012c41791a72db
tree741843693fac15c1a32f3159d496d9de86225720
parent289176c9bd22871b8a6996ed36b4123fb84d41f4
2008-07-31  Jose Ruiz  <ruiz@adacore.com>

* s-parame-vxworks.adb
Document that this body is used for RTX in RTSS (kernel) mode.

* gcc-interface/Makefile.in
(LIBGNAT_TARGET_PAIRS for the rtx_rtss run time): Use the
s-parame-vxworks.adb body in order to have reasonable stack sizes in
RTX RTSS kernel mode. Virtual memory is not used in that case, so we
cannot ask for too big values.

From-SVN: r138418
gcc/ada/gcc-interface/Makefile.in
gcc/ada/s-parame-vxworks.adb