diff options
| author | Sven Gothel <[email protected]> | 2011-02-23 04:58:38 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-02-23 04:58:38 +0100 |
| commit | ef0ee0c8fcb794d0c81e37eee87cb5c7b281fc7a (patch) | |
| tree | 4b5aca846db717a623c00425e8d4f500365cad4f /make/build.xml | |
| parent | 8a34f083d78b61bf9cbebbd6c9a5ba3653e784aa (diff) | |
Using 7z instead of zip
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/make/build.xml b/make/build.xml index 7cac401d2..aee9509bd 100644 --- a/make/build.xml +++ b/make/build.xml @@ -149,8 +149,7 @@ <copy todir="${archive}/etc"> <fileset dir="${project.root}/etc" 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 --> @@ -326,7 +325,7 @@ </target> <target name="javadoc.zip" depends="javadoc.init"> - <zip destfile="${build}/javadoc.zip" + <archive.7z destfile="${build}/javadoc.7z" basedir="${javadoc.root.path}" includes="jogl/**" /> </target> |