From: John Ahlroos <john@vaadin.com>
Date: Wed, 29 Aug 2012 13:09:43 +0000 (+0300)
Subject: Use Vaadin version number as GWT version number
X-Git-Tag: 7.0.0.beta1~210^2~28
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=a2ac034dc7b4af1dc4efc582de504df2b90c70ff;p=vaadin-framework.git

Use Vaadin version number as GWT version number
---

diff --git a/build/build.xml b/build/build.xml
index 2646683f85..9d0ca0069c 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -851,7 +851,7 @@
         <echo file="${output-dir}/META-INF/VERSION">${version.full}</echo> 
     	
     	<!-- Replace GWT versioning with Vaadin versioning -->
-    	<echo file="${result-classes-gwt}/com/google/gwt/dev/About.properties">${version.full}</echo>
+    	<echo file="${result-classes-gwt}/com/google/gwt/dev/About.properties">gwt.version=${version.full}</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" >