When multiple libraries exist in a subdirectory under ext, rmdir -p may fail, because other directories have not been removed yet or
the parent directory has been removed by other distclean. rmdir
in GNU coreutils has --ignore-fail-on-non-empty option for the
former case but others may not, and the latter race condition is not
avoidable anyway.
Added by nobu (Nobuyoshi Nakada) over 1 year ago
Ignore failures on removing ext sub directories
When multiple libraries exist in a subdirectory under
ext,rmdir -pmay fail, because other directories have not been removed yet orthe parent directory has been removed by other
distclean.rmdirin GNU coreutils has
--ignore-fail-on-non-emptyoption for theformer case but others may not, and the latter race condition is not
avoidable anyway.