On Sat, July 18, 2009 1:35 pm, Kevin Grittner wrote:
>> Out of curiosity, where is the make log to which you refer?>
Just the output from make.
e.g. make > make.log 2>&1
cheers
andrew