Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 13 Dec 2013 12:31:04 -0500
From:      John Baldwin <>
To:        "Dag-Erling =?utf-8?q?Sm=C3=B8rgrav?=" <>
Subject:   Re: svn commit: r259010 - in head/sys: conf powerpc/fpu
Message-ID:  <>
In-Reply-To: <>
References:  <> <> <>

Next in thread | Previous in thread | Raw E-Mail | Index | Archive | Help
On Friday, December 13, 2013 3:48:12 am Dag-Erling Sm=C3=B8rgrav wrote:
> > LINT64 is yet another kernel config covered by 'make tinderbox', but no=
t by
> > the periodic tinderbox.  It is probably worth adding to the periodic ti=
> > (someday it'd be nice if the two tinderboxes built the same set of thin=
> Some day it would be nice if people talked to me directly instead of
> sniping from the sidelines.

Ah, but when people have raised this exact issue before (that tcbuild and
'make tinderbox' build different things), you have blown them off repeatedl=

> The root issue here is that "make LINT" is poorly implemented, so under
> some circumstances (including the tinderbox and, if I read the code
> correctly, 'make universe'), the LINT64 config is never generated.

Agreed on that front.

> Oh, and 'make tinderbox' should die.

No, it is very developer friendly as it Just Works(tm) as a single command
from an existing source tree checkout.  It also happens to build more of
the tree than the periodic tinderbox (by building more kernel configs,
albeit doing quite a bit of duplicate work for platforms like arm in the

John Baldwin

Want to link to this message? Use this URL: <>