Desperate attempt to workaround meaningless error in Windows.

1 files changed, 5 insertions, 0 deletions

diff --git a/scripts/950_pulse_dep_tree b/scripts/950_pulse_dep_tree
index ac91d08..1841d7f 100644
--- a/scripts/950_pulse_dep_tree
+++ b/scripts/950_pulse_dep_tree
@@ -156,6 +156,11 @@ sub resolveAndCommitDependencies {
         # In the case of webkit, use latest revision, since we cannot publish SHAs without going through
         # the WebKit contribution process.
         $committedSha = "LATEST_REVISION";
+
+        # Desperate attempt to workaround meaningless error in Windows.
+        # (error: unable to unlink old 'Source/sync.profile' (Permission denied))
+        sleep(5) if ($OStype == WINDOWS);
+
         # Also, go back one commit, because we don't want the newly generated commit to be referenced in
         # the mother repo.
         run("git checkout -q master~1");