On Wed, 6 Jun 2001, Julio Merino wrote:

> > file-system     CODA            # Coda File System; also needs vcoda (below)
> > and:
> > pseudo-device   vcoda           4       # coda minicache <-> venus comm.
> > I find it's easy to miss the second one.
> Yeah, that happened to me, but then I removed it. Config'ed the kernel
> and ran make depend another time. But make still fails.

Before running make depend, run make clean to clear all the old
dependencies, then retry starting with config, then make depend, then
make, finally make install.  That should all work then.