From e4ebdb9f1866dee093ccbf41575f3dcc9101b5b0 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Wed, 21 Mar 2012 15:58:31 +0400
Subject: [PATCH] Added temporary workaround to update_dependencies.xml to fix
 compilation.

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

diff --git a/update_dependencies.xml b/update_dependencies.xml
index ce84ef4d6e9..3f52efb35a3 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -40,6 +40,8 @@
             <unzip src="ideaSDK/${build.zip}" dest="ideaSDK"/>
             <delete file="ideaSDK/${build.zip}"/>
 
+            <!-- TODO temporary workaround since util-rt is not packaged into intellij-core.jar -->
+            <copy file="ideaSDK/lib/util.jar" todir="${core}"/>
             <!--
                  This one needs to be deleted because otherwise it gets onto the classpath
                  together with junit-4.10.jar and the classloading goes crazy that breaks