Unreviewed Ada testsuite patch

[Rainer Orth]

Eric Botcazou <ebotcazou@adacore.com> writes:

>> Only if I add $SHELL in front of run_all.sh is the script run by $SHELL,
>> and exec saves an unnecessary process, so I'd leave it as is.
>
> You said that this change is not really necessary so I'd just drop it lest it 
> bady interacts with the line just above.

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.

	Rainer

-- 
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University