> > >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?

yes.

> That would be highly annoying if that's the case. Finding out how/where
> a -jN build breaks pretty much requires the banners so making one add an
> option to get it seems "broke".

i have no strong opinion about default behaviour.
what i want is a way to suppress banners.

YAMAMOTO Takashi