diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/build.xml b/make/build.xml index 3bdd2b5..5317238 100644 --- a/make/build.xml +++ b/make/build.xml @@ -32,6 +32,7 @@ <property name="gluegen.build" value="${gluegen.root}/${rootrel.build}" /> <!-- Pull in GlueGen cpptasks build file --> <import file="${gluegen.root}/make/gluegen-cpptasks.xml" /> + <import file="${gluegen.root}/make/gluegen-archivetasks.xml" /> <property name="jogl.root" value="${project.root}/../jogl" /> <property name="jogl.build" value="${jogl.root}/${rootrel.build}" /> @@ -324,8 +325,7 @@ <copy todir="${archive}/www"> <fileset dir="${project.root}/www" includes="*" /> </copy> - <delete quiet="true" file="${build}/${archive.name}.zip"/> - <zip destfile="${build}/${archive.name}.zip" + <archive.7z destfile="${build}/${archive.name}.7z" basedir="${build}" includes="${archive.name}/**" /> <!-- Clean up after ourselves --> |