[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: A target that's even more bootstrap?

From: Eli Zaretskii
Subject: Re: A target that's even more bootstrap?
Date: Thu, 20 Jun 2019 19:23:08 +0300

> 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.)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]