diff options
| author | Sven Gothel <[email protected]> | 2011-02-23 04:52:03 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-02-23 04:52:03 +0100 |
| commit | 6c61bb540634feb30ba965192aef1cfbf45d414d (patch) | |
| tree | cbe33c2400b1b76ff50d88513309c875b3230f59 /make | |
| parent | 2fdd7a07132f4dc7610a7925c06bf732c2cd2d4a (diff) | |
Use 7z instead of zip
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 --> |