mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-08 04:27:37 +00:00
27 lines
618 B
XML
27 lines
618 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<project name="src" default="compile" basedir="..">
|
|
|
|
<property file="build.properties"/>
|
|
|
|
<target name="compile">
|
|
<javac srcdir="deprecatedsrc"
|
|
destdir="${classes}"
|
|
includes="org/**/*.java"
|
|
deprecation="on"
|
|
debug="${debug}"
|
|
target="${target-jvm}"
|
|
>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="copy-source">
|
|
<mkdir dir="${dist.dir}/src"/>
|
|
<copy todir="${dist.dir}/src">
|
|
<fileset dir="deprecatedsrc"
|
|
includes="**/*.java,**/*.properties,**/*.xml,manifest"/>
|
|
</copy>
|
|
</target>
|
|
|
|
</project>
|