From 2677c8842e898da183b1e871690b404aa5aa11b1 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Wed, 1 Aug 2012 21:52:02 +0400
Subject: [PATCH] An attempt to fix build on public server

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

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 653675604fe..b9440034710 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -184,6 +184,13 @@
             </if>
 
             <unzip src="dependencies/download/@{build.zip}" dest="ideaSDK"/>
+
+            <!-- Copy win files to the place where idea expect them to see. See com.intellij.openapi.util.io.win32.IdeaWin32 -->
+            <mkdir dir="ideaSDK/bin/win"/>
+            <copy todir="ideaSDK/bin/win">
+              <filelist dir="ideaSDK/bin" files="IdeaWin32.dll,IdeaWin64.dll"/>
+            </copy>
+
             <mkdir dir="ideaSDK/sources"/>
             <copy file="dependencies/download/idea-sdk-sources.zip" tofile="ideaSDK/sources/sources.zip"/>