From 8d5a6d729e5d3f1f0913847297bc5116e47fc20e Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Wed, 14 Jan 2015 12:01:50 +0300
Subject: [PATCH] build.xml: use preloader to serialize built-ins to improve
 performance

---
 build.xml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index f931bde921c..b640140f6c7 100644
--- a/build.xml
+++ b/build.xml
@@ -392,13 +392,17 @@
 
     <target name="serialize-builtins">
         <cleandir dir="${output}/builtins"/>
-        <java classname="org.jetbrains.kotlin.serialization.builtins.BuiltinsPackage"
-              classpath="${bootstrap.compiler.home}/lib/kotlin-compiler.jar"
+        <java classname="org.jetbrains.kotlin.preloading.Preloader"
+              classpath="${bootstrap.compiler.home}/lib/kotlin-preloader.jar"
               failonerror="true"
               fork="true">
             <assertions>
                 <enable/>
             </assertions>
+            <arg value="${bootstrap.compiler.home}/lib/kotlin-compiler.jar"/>
+            <arg value="org.jetbrains.kotlin.serialization.builtins.BuiltinsPackage"/>
+            <arg value="4096"/>
+            <arg value="notime"/>
             <arg value="${output}/builtins"/>
             <arg value="core/builtins/native"/>
             <arg value="core/builtins/src"/>