diff options
author | Yohann Roussel <yroussel@google.com> | 2015-05-04 16:40:50 +0200 |
---|---|---|
committer | Yohann Roussel <yroussel@google.com> | 2015-05-04 16:40:50 +0200 |
commit | a6e81a44f16767c390526cb9ed3fb25840a1c64c (patch) | |
tree | f72764dd3bc60e91da491f6e139c15b1b4ba76e0 /build.xml | |
parent | c411d9966a69e334de6e7a3594c0f9197cfc9cb3 (diff) | |
download | toolchain_jack-a6e81a44f16767c390526cb9ed3fb25840a1c64c.zip toolchain_jack-a6e81a44f16767c390526cb9ed3fb25840a1c64c.tar.gz toolchain_jack-a6e81a44f16767c390526cb9ed3fb25840a1c64c.tar.bz2 |
Keep track of jack-launcher version
In a simple resource file.
Change-Id: I87be09898aa6a60f3b3d6abef01601c301b62fbd
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -438,6 +438,9 @@ </classpath> </javac> <unzip dest="${jack-launcher.build.outdir}" src="${jack-launcher.libs.dir}/${jsr305.libname}" /> + <copy todir="${jack-launcher.build.outdir}"> + <fileset dir="${jack-launcher.dir}/rsc" includes="**"/> + </copy> <jar destfile="${jack-launcher.dist.dir}/${jack-launcher.name}" manifest="${jack-launcher.dir}/etc/manifest.txt"> <fileset dir="${jack-launcher.build.outdir}"/> </jar> |