On Sat, Jun 24, 2006 at 02:13:45PM -0700, Tom Spindler wrote:
> 
> > checkflist ===> distrib/sets
> > =======  1 extra files in DESTDIR  =========
> > Files in DESTDIR but missing from flist.
> > File is obsolete or flist is out of date ?
> > ------------------------------------------
> > ./usr/bin/gdbtui
> 
> You have HAVE_GDB=6, correct?
Yep! So it is.

> If so, yeah, that's a bug.
What I thought ;-)

Kurt