Re: A target that's even more bootstrap?

[Eli Zaretskii]

> From: Lars Ingebrigtsen <address@hidden>
> Cc: address@hidden
> Date: Thu, 20 Jun 2019 16:23:14 +0200
> 
> > How is this different from doing the same in a fresh checkout?  is
> > this because the configure script wasn't removed, or for some other
> > reason?
> 
> Yes, indeed.  If I remove both configure and src/config.in in
> extraclean, the subsequent "make" works fine.

OK, so that's the solution, right?

> >> +./info
> >> +./lib/sys
> >> 
> >> perhaps don't matter, and I'd rather not do an rm -rf on a directory...
> >
> > Are these directories empty?
> 
> They will normally be empty, but the user may have put a file there...
> 
> I could do check for whether they're empty, and if they are, I do an
> rmdir on them?

I don't think you need to do that, as their mere existence shouldn't
matter for this purpose.  (If it does, someone will complain and will
describe the situation when it does matter.)

Thanks.