Re: [PATCH] use shell function for AS_BASENAME, AS_DIRNAME, AS_MKDIR_P

[Paolo Bonzini]

Eric Blake wrote:
> Paolo Bonzini <bonzini <at> gnu.org> writes:
> 
>> Here is what remains.
>>
>>      (_AS_MKDIR_P): New, from AS_MKDIR_P.  Adjust meaning of as_mkdir_p
>>      to be `false' or a full `mkdir -p' command.
>>      (AS_MKDIR_P): Just dispatch to as_func_mkdir_p.
>>      (_AS_MKDIR_P_PREPARE): Set as_mkdir_p according to the above change.
>>      Define shell functions.
> 
> You committed something slightly different.

Indeed that was "intended" -- I thought that was the patch I had sent.

Thanks for following up.

Paolo