> >   | Fortunately it is the last thing the build (currently) does.
> >   | I guess you could add a '-' to the front of the command in the makefile.
> >   | Maybe that check ought to be optional?
> > 
> > No, it should not be optional.
> > 
> > The addition of "make checkflist" was added to the "maketars" target in
> > distrib/sets/Makefile to ensure that the generated tar files have all
> > the appropriate contents.

Except that isn't where it was added.
It was added to the 'distribution' target of src/Makefile,
which is the target that build.sh generates.

	David

-- 
David Laight: david@l8s.co.uk