From de4569e6f8dc60f305fa500d2405d66d062cb7c0 Mon Sep 17 00:00:00 2001
From: Alexander Zolotov <alexander.zolotov@jetbrains.com>
Date: Thu, 13 Apr 2017 14:25:32 +0300
Subject: [PATCH] External dependencies: ignore missing tools.jar

---
 build/dependencies/setupJbre.gradle | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/build/dependencies/setupJbre.gradle b/build/dependencies/setupJbre.gradle
index d3235c4595d9..e9501e9b04e5 100644
--- a/build/dependencies/setupJbre.gradle
+++ b/build/dependencies/setupJbre.gradle
@@ -47,7 +47,12 @@ jrePlatformsToDownload(targetOs).each { platform ->
         doFirst { exec { commandLine 'mkdir', '-p', outputDir } }
         commandLine 'tar', '-xpf', "${downloadOutputs.singleFile.absolutePath}", '--directory', outputDir
         if (platform != 'osx') {
-          doLast { exec { commandLine 'mv', "$outputDir/lib/tools.jar", "$outputDir/jre/lib/" } }
+          doLast { 
+            exec { 
+              commandLine 'mv', "$outputDir/lib/tools.jar", "$outputDir/jre/lib/"
+              ignoreExitValue = true
+            } 
+          }
         }
       }
     }