From 034304bda81dfe65725c37a6eae3fbcdf7496082 Mon Sep 17 00:00:00 2001 From: John Ahlroos Date: Thu, 23 Aug 2012 10:30:09 +0300 Subject: [PATCH] GWT build version is now replaced with GWT-VAADIN build version. --- build/build.xml | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/build/build.xml b/build/build.xml index 2988218c4d..d905bb9c6f 100644 --- a/build/build.xml +++ b/build/build.xml @@ -129,6 +129,7 @@ + @@ -848,9 +849,12 @@ ${version.full} + + + gwt.version=${gwt-version}.vaadin${version.full} + compress="true" manifest="build/package/META-INF/MANIFEST.MF" duplicate="preserve" index="true" > @@ -874,6 +878,7 @@ + @@ -899,7 +904,7 @@ - + - + + + -- 2.39.5