[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patch: small reduction in output from make doc
From: |
Graham Percival |
Subject: |
Re: Patch: small reduction in output from make doc |
Date: |
Wed, 15 Jun 2011 18:14:13 +0100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Wed, Jun 15, 2011 at 06:02:54PM +0200, Reinhold Kainhofer wrote:
> Am Mittwoch, 15. Juni 2011, 16:22:14 schrieb Phil Holmes:
> > to the end of the call. > redirects output. $*.log expands to
> > filename.log (in this case key-initial.log - this expansion is a make
> > feature). 2>&1 sends error and normal output to the same place.
>
> Hmm, doesn't that defeat the whole purpose of error messages?
GUB does something like
error = process(cmd, log_filename)
if error:
print "something went bad in", cmd
process("tail " + log_filename)
I really like that system -- you get a small glimpse of what went
wrong, but you still have the entire file there for your viewing
pleasure.
(that's particularly useful for me, since my general reaction when
something breaks is to look at a few directories, which 1) is
completely useless, and 2) scrolls the actual error messages out
of the xterm history!)
I have no clue how to achieve this kind of thing in make, though.
> Hiding all error messages together with the progress messages is throwing out
> the baby with the bath water (as we say here in German).
Exactly the same phrase in English! We probably stole it from
you. :)
Cheers,
- Graham
- Re: Patch: small reduction in output from make doc, (continued)
- Re: Patch: small reduction in output from make doc, Phil Holmes, 2011/06/16
- Re: Patch: small reduction in output from make doc, Graham Percival, 2011/06/16
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/16
- Re: Patch: small reduction in output from make doc, Phil Holmes, 2011/06/17
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/17
- Re: Patch: small reduction in output from make doc, Graham Percival, 2011/06/17
- Re: Patch: small reduction in output from make doc, Jan Nieuwenhuizen, 2011/06/23
- Re: Patch: small reduction in output from make doc,
Graham Percival <=
- Re: Patch: small reduction in output from make doc, Jan WarchoĊ, 2011/06/15