Re: [PATCH] tools/counter: Add checking directory exists for make clean

From: William Breathitt Gray
Date: Fri Jul 14 2023 - 18:02:12 EST


On Fri, Jul 14, 2023 at 08:57:21PM +0700, Anh Tuan Phan wrote:
> Hi William, the race condition possibility is a good point. Thanks for
> suggesting me. Will send a new version with using `rm -df` instead and
> add the appropriate CC lists. Thank you!

Hi Anh,

Because this will fix a failure, please include a Fixes tag as well that
references the commit that introduces the rmdir line.

Thanks,

William Breathitt Gray

Attachment: signature.asc
Description: PGP signature