Hi Joachim,

Glad you solved it :)

On Jan 19, 2014, at 11:47 AM, Joachim Bartz <joachim.bartz@t-online.de> wrote:
> And: It works, all modules are installed correctly.
> 
> 
> But what I donšt understand is, why does libtool sometimes fail and
> sometimes not.
> I expect a deterministic behavior - always.

It's probably a timestamp resolution issue, or a race condition of some sort - the kind of bug that can take hundreds of hours to pin down.  Patches welcome of course ;-)

Cheers,
-- 
Gary V. Vaughan (gary AT gnu DOT org)