Retry rename operation with a slight delay to workaround problems on

some versions of Windows.

1 files changed, 8 insertions, 1 deletions

diff --git a/util/fipsas.pl b/util/fipsas.pl
index 1694c59a41..2734a20181 100644
--- a/util/fipsas.pl
+++ b/util/fipsas.pl
@@ -56,7 +56,14 @@ my ($from, $to);
 unlink $tmptarg;
 
 #rename target temporarily
-rename($target, $tmptarg) || die "Can't rename $target";
+my $rencnt = 0;
+# On windows the previous file doesn't always close straight away
+# so retry the rename operation a few times if it fails.
+while (!rename($target, $tmptarg))
+        {
+        sleep 2;
+        die "Can't rename $target" if ($rencnt++ > 10);
+        }
 
 #edit target
 open(IN,$tmptarg) || die "Can't open temporary file";