From 16ea944a874d25d88c97844765529cee67b68c43 Mon Sep 17 00:00:00 2001
From: Alexey Andreev <Alexey.Andreev@jetbrains.com>
Date: Fri, 26 Oct 2018 15:21:04 +0300
Subject: [PATCH] Travis: fix build configuration

---
 tools/eclipse/core-plugin/pom.xml | 1 +
 tools/idea/idea-artifacts/pom.xml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/tools/eclipse/core-plugin/pom.xml b/tools/eclipse/core-plugin/pom.xml
index 1a8e38c94..e4abcb314 100644
--- a/tools/eclipse/core-plugin/pom.xml
+++ b/tools/eclipse/core-plugin/pom.xml
@@ -48,6 +48,7 @@
                 <item>dep-pom.xml</item>
                 <item>clean</item>
                 <item>package</item>
+                <item>-Dmaven.repo.local=${settings.localRepository}</item>
               </arguments>
             </configuration>
           </execution>
diff --git a/tools/idea/idea-artifacts/pom.xml b/tools/idea/idea-artifacts/pom.xml
index 356ee0508..c8c9189c5 100644
--- a/tools/idea/idea-artifacts/pom.xml
+++ b/tools/idea/idea-artifacts/pom.xml
@@ -58,6 +58,7 @@
                     <item>install</item>
                     <item>-Didea.version=${idea.version}</item>
                     <item>-Dteavm.version=${project.version}</item>
+                    <item>-Dmaven.repo.local=${settings.localRepository}</item>
                   </arguments>
                 </configuration>
               </execution>