From 14025047a60a875f36a75f6a7f4722a73b807b3a Mon Sep 17 00:00:00 2001
From: Vasily Levchenko <vasily.levchenko@jetbrains.com>
Date: Thu, 20 Oct 2016 21:21:29 +0300
Subject: [PATCH] dependencies: do not download if file already exists

---
 dependencies/build.gradle | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dependencies/build.gradle b/dependencies/build.gradle
index 94be7127d5a..e57af3555ef 100644
--- a/dependencies/build.gradle
+++ b/dependencies/build.gradle
@@ -35,7 +35,8 @@ abstract class NativeDep extends DefaultTask {
 
     protected File download() {
         File result = new File(baseOutDir, fileName)
-        ant.get(src: url, dest: result, usetimestamp: true)
+	if (!result.exists())
+            ant.get(src: url, dest: result, usetimestamp: true)
         return result
     }
 }