Ssreflect Users Discussion List

[Guillaume Melquiond <>]

On 19/12/2015 13:41, Enrico Tassi wrote:
> On Sat, Dec 19, 2015 at 12:44:26PM +0100, Florent Hivert wrote:
>>       Dear Enrico,
>>
>>> Thanks for your quick answer. Any info you may need ? I'm not sure I'll be
>>> able to answer question next week ;-)
>>
>> I got my problem: I was compiling with $MAKE=make -j 10...
> 
> Are you saying that 'make -j 10' does not work?

Since ssrcoqdep is constantly creating and deleting the bkpcoqdep
directory, having two ssrcoqdep instances running concurrently might
well cause a race.

Best regards,

Guillaume