On Sat, 9 Nov 2002, Alan Barrett wrote:

> On Sat, 09 Nov 2002, Frederick Bruckman wrote:
> > > (Actually, files in RELEASEDIR do not affect the build, but I delete
> > > them anyway.)
> >
> > That's good, because the release build will complain and fail if there
> > are extra files in RELEASEDIR (like files that have become obsolete).
>
> I think you are confusing RELEASEDIR with DESTDIR.  RELEASEDIR contains
> various tgz files and kernels, and not much more.

Yes, you are correct.

> > > "build.sh -r" deletes TOOLDIR and DESTDIR, but does not delete OBJDIR.
> > > This might be a bug.
> >
> > A normal build does a "cleandir", so that should take care of your
> > object files.
>
> make cleandir sometimes fails if there's an out of date .depends file
> that refers to a source file that no longer exists.  Deleting the whole
> OBJDIR is the easiest way to get rid of the problem.

I've never seen that. Are you sure "cleandir" parses .depends files?

> > One thing that I'm starting to think is a bug, though,
> > is that "cleandir" doesn't delete the kernel build directories.
>
> Yes, I'd call that a bug, though the right fix is not obvious to me.
> Perhaps "rm -rf $(KERNOBJDIR)" in src/sys/arch/*/conf/Makefile ?

There's no "Makefile", there. The kernels are made under "etc". The
whole etc-distrib thing is kind of screwy. Many of the things done
under "etc" have nothing to do with "/etc", and you can't even do a
make in "distrib".

Frederick