diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 48924b932..b324ffa1d 100644 --- a/make/build.xml +++ b/make/build.xml @@ -1305,7 +1305,7 @@ includes="*/**" /> <delete dir="${jogl.dist.dir}/tmp" /> <!-- Apply Pack200 repacking to allow later compression by that mechanism --> - <apply executable="pack200" > + <apply executable="pack200" verbose="true" > <arg value="--repack" /> <fileset file="${jogl.dist.dir}/jogl.jar" /> </apply> |