Merge branch 'master' of github.com:JetBrains/kotlin

2012-02-28 11:57:20 +00:00
parent 949b2ce070 4ea99fc6ca
commit cf73c1f3e2
33 changed files with 334 additions and 290 deletions
@@ -192,7 +192,7 @@
            <arg value="${basedir}/jdk-headers/src"/>
            <arg value="-output"/>
            <arg value="${output}/classes/jdk-headers"/>
-            <arg value="-ignoreErrors"/>
+            <arg value="-stubs"/>
            <arg value="-transformNamesToJava"/>
        </java>
    </target>