Angus Leeming wrote:
>> | On the subject of precompiled headers, can you stop them being
>> | compiled unnecessarily? Every time I run make...
>> 
>> That is not the case here. I have no idea why pch.h.gch is regenerated
>> on your box.
>> 
>> So: better bug report please
> 
> I'll investigate further this evening.

Ok, Lars, here's the output of
$ make > make.log 2>&1

Note all those unnecessary compilations of the precompiled headers. Note
also that the executables were not linked, so somehow make knows that
these steps were unnecessary.

Any ideas on how to proceed further?

-- 
Angus

Attachment: make.log.bz2
Description: BZip2 compressed data

Reply via email to