[Top][All Lists]

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

Re: A target that's even more bootstrap?

From: Lars Ingebrigtsen
Subject: Re: A target that's even more bootstrap?
Date: Thu, 20 Jun 2019 18:27:40 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Eli Zaretskii <address@hidden> writes:

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

I've already checked in a solution where it checks for the directory and
deletes it...  However, I'm not sure whether the solution works
everywhere.  It's:

        [ -d info ] && rmdir --ignore-fail-on-non-empty info

If that's non-supported syntax, we can just delete the line and let the
directory live on.

(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

reply via email to

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