From d59214bd1cf3d4803b0f78b9f6012c41791a72db Mon Sep 17 00:00:00 2001 From: Jose Ruiz Date: Thu, 31 Jul 2008 16:41:01 +0200 Subject: [PATCH] 2008-07-31 Jose Ruiz * 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 | 4 +++- gcc/ada/s-parame-vxworks.adb | 4 ++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in index c939a0f9ff43..acc523d8abb6 100644 --- a/gcc/ada/gcc-interface/Makefile.in +++ b/gcc/ada/gcc-interface/Makefile.in @@ -1335,7 +1335,9 @@ ifeq ($(strip $(filter-out cygwin32% mingw32% pe,$(osys))),) EH_MECHANISM=-gcc else - LIBGNAT_TARGET_PAIRS += system.ads