Renamed jdkHeaders to altHeaders in all places where it makes sense.

2012-05-15 13:24:18 +04:00
parent 4ab2588cbd
commit 15f6e7403e
35 changed files with 172 additions and 175 deletions
@@ -337,7 +337,7 @@
            <arg value="-output"/>
            <arg value="${output}/classes/jdk-headers"/>
            <arg value="-mode"/>
-            <arg value="jdkHeaders"/>
+            <arg value="altHeaders"/>
        </java>

        <jar destfile="${kotlin-home}/lib/alt/kotlin-jdk-headers.jar">