diff options
-rw-r--r-- | scripts/950_pulse_dep_tree | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/950_pulse_dep_tree b/scripts/950_pulse_dep_tree index 1841d7f..ac91d08 100644 --- a/scripts/950_pulse_dep_tree +++ b/scripts/950_pulse_dep_tree @@ -156,11 +156,6 @@ 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"); |