diff options
| author | John Ahlroos <john@vaadin.com> | 2012-08-29 16:04:57 +0300 |
|---|---|---|
| committer | John Ahlroos <john@vaadin.com> | 2012-08-29 16:06:05 +0300 |
| commit | e9f2b7de7b824ccaf57afc110dcf0e8029c3fb97 (patch) | |
| tree | c2ca345c2f65d7f14e3f6bc5e49a2cc1ef50faf7 /build/build.xml | |
| parent | 083669d9dc4f8fd7dee4336f5c3f44f3772abb2d (diff) | |
| download | vaadin-framework-e9f2b7de7b824ccaf57afc110dcf0e8029c3fb97.tar.gz vaadin-framework-e9f2b7de7b824ccaf57afc110dcf0e8029c3fb97.zip | |
Use Vaadin version number as GWT version number
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 96441a77a5..2646683f85 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">gwt.version=${gwt-version}.vaadin${version.full}</echo> + <echo file="${result-classes-gwt}/com/google/gwt/dev/About.properties">${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" > |