This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Unreviewed Ada testsuite patch
Eric Botcazou <ebotcazou@adacore.com> writes:
>> Why should it: resource limits are inherited by child processes, and
>> which shell runs that script doesn't make any difference. I've just
>> checked this with my testcase.
>
> Shells have bugs and I'm not sure the gain is worth the risk.
True, but in this case we'll replace /bin/sh, which is generally the
oldest and most buggy shell (think Solaris, or IRIX which triggered
this, but other platforms are similar) with the CONFIG_SHELL, which is
usually more modern (like some ksh variant or bash). I think the risk
is bearable, and the problem fixed this way is at least very annoying
and takes some time to understand.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University