Subject: Re: make -v
To: YAMAMOTO Takashi <>
From: Simon J. Gerraty <>
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 

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.