> Thanks that helped.
> 
> What I now ran "make" again in the top directory, things are again
> still ok until DriFT is reached: see below.
> 
> Or should I "make clean && make" in the top directory?

Yes, it sounds like "make clean && make" is going to be easier than
diagnosing this.  Set it off & then go to bed!

Cheers,
        Simon

Reply via email to