On Monday, October 7, 2002, at 08:38  AM, Sisyphus wrote:
>
>>
>> It might be worth thinking about giving varying degrees of the output
>> depending on command line options, or CONFIG directives.
>>
>
> Actually - now that I take the time to think about it - I don't see any
> problem with altering "$make > out.make 2>&1" to "$make".

I agree.  I'd rather remove layers between me and the build process 
output too.  If I want it in a file, I'd redirect it there.


  -Ken

Reply via email to