From 52c5e6c0016e66c4337882a3457cd34fd2d7159c Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 12 Aug 2013 14:49:46 +0400
Subject: [PATCH] Force replace sources.zip before downloading

---
 update_dependencies.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index b9b8180bad1..f76c056aa3e 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -209,6 +209,7 @@
 
                     <get src="@{base.url}/@{build.zip}" dest="dependencies/download/@{build.zip}" usetimestamp="true"/>
 
+                    <delete file="dependencies/download/idea-sdk-sources.zip" failonerror="false"/>
                     <get src="@{base.url}/sources.zip" dest="dependencies/download/idea-sdk-sources.zip" usetimestamp="true"/>
                 </then>
             </if>