> > Are you using parallelism within the doxygen build? Glancing at the > logs and not really thinking, I wonder if MAKE_JOBS=4 fails and 1 works, > probabalistically. Different bulk builds are configured differently. > I use MAKE_JOBS=16, but I will try with 1. -- Regards, kikadf