diff options
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 9a12421a3..92cbe83bb 100644 --- a/make/build.xml +++ b/make/build.xml @@ -1535,6 +1535,8 @@ <zip destfile="${jogl.dist.dir}/jogl-${tmp.version}-webstart.zip" basedir="${jogl.dist.dir}" includes="*.jar" /> + <!-- Create a version.txt file indicating which version we just built --> + <echo message="${tmp.version}" file="${jogl.dist.dir}/version.txt" /> </target> <!-- ================================================================== --> |