>> I don't think it's portable enough.  AFAIK, it's specific to GNU
>> rmdir.
>>
Yes, and there's a simple and portable way to do it; I installed the 
attached.