> From: Orgad Shaneh <org...@gmail.com>
> Date: Sat, 17 Jun 2017 23:04:11 +0300
> Cc: bug-make@gnu.org, Alexey Pavlov <alex...@gmail.com>
>
> +#ifdef WINDOWS32
> + for (e = 0; e < 10; ++e)
> + {
> +#endif
> + status = unlink (file->name);
> +#ifdef WINDOWS32
> + if (status == 0 || errno == ENOENT)
> + break;
> + Sleep(50);
> + }
> +#endif
Please try the same, but with Sleep calls using 10 or even 5 msec (and
enlarging the loop count if necessary). I'd be interested to see the
statistics of the count after which the unlink call succeeds in your
cases.
Thanks.
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
