On 26/02/14 13:26, Anthony Ramine wrote: > That bug was already reported and Lukas Larsson had written a fix: > > https://github.com/garazdawi/otp/tree/lukas/erts/make_deps_fixes > > Regards, > Hmm, seems like I forgot to merge that... will fix for 17.0 release. Lukas