> > Ooops, sorry. I had an old .depend around, which told make to do what I
> > thought was wrong.  As soon as I rm'd that, it worked.  *blush*
> 
> Some good safety tips:
> 
> Never be afraid to do a "make depend" on every thing.  [...]

In fact, "make depend" doesn't even always fix it, because it only
remakes .depend if one of the local source files has changed.  If a
new "#include" is added to a system header file, you really need to
remove all the .depend files explicitly.

	Mark
--------------------------------------------------------------------
Email: Mark_Weaver@brown.edu           | Brown University
PGP Key: finger mhw@cs.brown.edu       | Dept of Computer Science

------------------------------------------------------------------------------