On Sat, Sep 15, 2001 at 04:44:47PM +0100, Simon Cozens wrote:
> On Sat, Sep 15, 2001 at 06:44:38PM +0300, Jarkko Hietaniemi wrote:
> > The question is why was it wrong after a fresh checkout? (also in Linux)
> 
> No idea. Is make_op_header.pl run? Does op.h contain the #define's?

This is eerie-- I now did a fresh checkout both on Tru64 and Linux
and op.h gets rebuilt correctly.  I suspect gremlins.

> > Another observation is that after 'rm op.h; make op.h' the thing
> > builds but with some gnashing of the teeth:

-- 
$jhi++; # http://www.iki.fi/jhi/
        # There is this special biologist word we use for 'stable'.
        # It is 'dead'. -- Jack Cohen

Reply via email to