diff options
| author | John Ahlroos <john@vaadin.com> | 2012-09-03 16:24:25 +0300 |
|---|---|---|
| committer | John Ahlroos <john@vaadin.com> | 2012-09-03 16:24:38 +0300 |
| commit | b2d830d1490e762e97f23dca33a21588ab977e65 (patch) | |
| tree | b38d15523fab51fec64ccca39e9102ccafda9b41 | |
| parent | bcc56fe936a1f0d67323a77b0ab50903ac285b61 (diff) | |
| download | vaadin-framework-b2d830d1490e762e97f23dca33a21588ab977e65.tar.gz vaadin-framework-b2d830d1490e762e97f23dca33a21588ab977e65.zip | |
Added Git Revision to GWT version file
| -rw-r--r-- | build/build.xml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index c234480877..d8938371a2 100644 --- a/build/build.xml +++ b/build/build.xml @@ -855,8 +855,17 @@ <mkdir dir="${output-dir}/META-INF"/> <echo file="${output-dir}/META-INF/VERSION">${version.full}</echo> + <!-- Get Git revision --> + <exec executable="git" outputproperty="git.revision" failifexecutionfails="false" errorproperty=""> + <arg value="describe"/> + <arg value="--tags"/> + <arg value="--always"/> + <arg value="HEAD"/> + </exec> + <!-- Replace GWT versioning with Vaadin versioning --> - <echo file="${result-classes-gwt}/com/google/gwt/dev/About.properties">gwt.version=${version.full}</echo> + <echo file="${result-classes-gwt}/com/google/gwt/dev/About.properties">gwt.version=${version.full} +gwt.svnrev=${git.revision}</echo> <jarjar jarfile="${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}" compress="true" manifest="build/package/META-INF/MANIFEST.MF" duplicate="preserve" index="true" > |