How to add timeout to Ada tests on Linux/ia64?

[Geert Bosch]

On Mar 27, 2004, at 06:25, Arnaud Charlet wrote:
> Tasking is in good shape on ia64 linux, at least on some configurations
> (e.g. monoprocessor machines), so there is no reason to disable it 
> AFAIK.

> It looks more like some bug in the pthread library itself (maybe in
> the context of SMP), so I don't see any good reason for disabling Ada 
> tasking.

The current situation (running make check requires manual intervention)
clearly is not acceptable for GCC developers. The question is of course
under what condition these failures occur and if more people are running
into this issue.

For now the best workaround for HJ seems to be to list all the 
potentially
failing tests in his gcc/testsuite/ada/acats/norun.txt file.

   -Geert