From 959233acd1139a13e873068e232dc2f6ca2acfa2 Mon Sep 17 00:00:00 2001
From: pTalanov <Pavel.Talanov@jetbrains.com>
Date: Thu, 31 May 2012 13:50:21 +0400
Subject: [PATCH] Build: use copy instead of deprecated copyfile

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 0c21cc15987..8e935efa548 100644
--- a/build.xml
+++ b/build.xml
@@ -141,7 +141,7 @@
       <jar jarfile="${kotlin-home}/lib/kotlin-jslib.jar">
         <fileset dir = "${basedir}/js/js.libraries/src"/>
       </jar>
-      <copyfile src="${basedir}/js/js.translator/testFiles/kotlin_lib.js" dest="${kotlin-home}/lib/kotlinLib.js"/>
+      <copy file="${basedir}/js/js.translator/testFiles/kotlin_lib.js" tofile="${kotlin-home}/lib/kotlinLib.js"/>
     </target>
 
     <target name="compiler">