mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-28 11:28:38 +00:00
28 lines
668 B
XML
28 lines
668 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}"
|
|
source="${source-level}"
|
|
>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="copy-source">
|
|
<mkdir dir="${dist.dir}/deprecatedsrc"/>
|
|
<copy todir="${dist.dir}/deprecatedsrc">
|
|
<fileset dir="deprecatedsrc"
|
|
includes="**/*.java,**/*.properties,**/*.xml,manifest"/>
|
|
</copy>
|
|
</target>
|
|
|
|
</project>
|