Use Vaadin version number as GWT version number

diff --git a/build/build.xml b/build/build.xml
index 2646683f85cc88d5e4d42d398a156debb222b224..9d0ca0069c2b6b1bc62d0c5e3f82ab3c0c7ebf8c 100644 (file)
--- 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" >