r138418 - in /trunk/gcc/ada: gcc-interface/Make...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul 31 14:41:01 2008
New Revision: 138418

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138418
Log:
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.


Modified:
    trunk/gcc/ada/gcc-interface/Makefile.in
    trunk/gcc/ada/s-parame-vxworks.adb