Re: A target that's even more bootstrap?

[Lars Ingebrigtsen]

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?

Yup.

>> >> +./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