On Tue, 20 Oct 2009 20:28:40 -0400, Boris Kochergin <sp...@acm.poly.edu> wrote: >Giorgos Keramidas wrote: >>On Mon, 19 Oct 2009 17:51:42 +0200, Ivan Voras <ivo...@freebsd.org> wrote: >>>2009/10/19 Alex Kozlov <s...@rm-rf.kiev.ua>: >>>> How about add this statistic to make info handler? >>> >>> You mean SIGINFO? >> >> Yes, that's the ``info handler''. >> >> While printing something on SINGINFO arrival is a nice idea, it may >> not be extremely useful for make(1). With dd(1) this is very useful >> to see, but with long-running make jobs that write tons of output to >> stderr any information from SIGINFO may be lost in the noise. > > The SIGINFO handler could be made to put the make process to sleep > for, say, a second to give the user some time to read the statistics, > but I'm sure there are lots of objections to be made to that, too.
That would be bad, indeed. David Wolfskill has emailed me, in the meantime, that it's probably ok to `lose' SIGINFO output in the noise of build output, as long as it is easy to grep for it. So I still like the idea, but without a delay please :)
pgpF8p6C0GJbo.pgp
Description: PGP signature
