[RPL/2] RPL/2 4.0.10

[BERTRAND Joel]

DEMAINE Benoit-Pierre a écrit :
> BERTRAND Joel wrote:
>>      I have check main Makefile and I have a question for you. Have you
>> build RPL/2 with make -j ?
>>
>>      JKB
>
>
> Not yet.
>
> When using my packages (gentoo ebuilds), yes. When i do it manually, no.
> Both used to fail with the same message.
>
>> Try to replace in src/gestion_fichiers.c (line 315)
>
> This worked. Good luck.
>
> If you can make a new daily snapshot ...

	There is only one difference between last daily snapshot and my tree 
and you have applied patch. I don't commit this workaround because I 
have to verify that it doesn't brake anything else. I shall make another 
daily snapshot when I'll sure that my quick and dirty fix is correct.

	JKB