Subject: Re: make -v
To: YAMAMOTO Takashi <yamt@mwd.biglobe.ne.jp>
From: Simon J. Gerraty <sjg@crufty.net>
List: tech-userlevel
Date: 12/27/2003 10:57:52
>is it ok to bring in make -v option from freebsd?
>diffs are attached.  (and i'll take manpage part, of course.)

Is there a  man page entry?  ie.  what is -v supposed to do?
(I just looked on a freebsd machine... - but we'd still want a man page 
update).

It looks like freebsd does not produce the file banners without -v?
That would be a change in default behavior - ie. we'd need -vjN to 
get what -jN does now?

I think we'd need feedback from some folk who use -jN a lot to see
how they feel.

--sjg