diff options
author | Sven Gothel <[email protected]> | 2011-05-17 15:51:08 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2011-05-17 15:51:08 +0200 |
commit | f0bd17add38246abecde942b15663d589728f3fe (patch) | |
tree | 19ad814e780b02f40a67834e096d782bd0033877 /make/build.xml | |
parent | 6e6dd7228415e788ac254364c5f36a7d70216e6b (diff) |
leave java source zip file in build folder (if BUILD_ARCHIVE=true)
Diffstat (limited to 'make/build.xml')
-rw-r--r-- | make/build.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index f058512..425e993 100644 --- a/make/build.xml +++ b/make/build.xml @@ -722,10 +722,11 @@ <copy todir="${archive}/jnlp-files"> <fileset dir="${project.root}/jnlp-files" includes="*" /> </copy> - <zip destfile="${archive}/gluegen-java-src.zip"> + <zip destfile="${build}/gluegen-java-src.zip"> <fileset dir="${src.java}"/> <fileset dir="${build}/gensrc/java"/> </zip> + <copy todir="${archive}" file="${build}/gluegen-java-src.zip"/> <archive.7z destfile="${build}/${archive.name}.7z" basedir="${build}" includes="${archive.name}/**" /> |