Le 02/03/2001 a 19:49 +0000 , Chris Gilbert ecrivait :

>how up to date is your src?  There was a problem with cpu_wait a few days
>back, it was fixed up though.  Try updating your source again.

This morning on Manuel's mirror at lip6.fr

I'll give another try tomorrow.

Thanks

-- 
Xavier HUMBERT  -  Systemes et Reseaux     |     labo-info@injep.fr
INJEP                                      |     humbert@injep.fr