diff options
| author | Artur Signell <artur@vaadin.com> | 2012-09-10 20:24:53 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-09-10 21:04:52 +0300 |
| commit | ccd11812ffdac18db6e7949a79e5a2a86f87b511 (patch) | |
| tree | 422f2fe96d0182fc1b163b0aac5f621a67d69142 /build | |
| parent | f661fc17d7e512a3eab0255919796ea9af6d139d (diff) | |
| download | vaadin-framework-ccd11812ffdac18db6e7949a79e5a2a86f87b511.tar.gz vaadin-framework-ccd11812ffdac18db6e7949a79e5a2a86f87b511.zip | |
Define a version to avoid compilation problems (#9528)
Diffstat (limited to 'build')
| -rwxr-xr-x | build/ide.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/ide.xml b/build/ide.xml index 6d710b66cb..f2b3214227 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -7,6 +7,7 @@ <property name="gwt.lib.dir" location="${gwt.root}/build/lib" /> <property name="gwt.user.jar" location="${gwt.lib.dir}/gwt-user.jar" /> <property name="gwt.dev.jar" location="${gwt.lib.dir}/gwt-dev.jar" /> + <property name="theme-version" location="9.9.9.INTERNAL-DEBUG-BUILD" /> <echo>Using gwt-dev.jar from ${gwt.dev.jar}</echo> <ivy:cachepath pathid="ivy.deps" inline="true" organisation="javax.validation" module="validation-api" revision="1.0.0.GA" conf="default,sources" /> @@ -50,6 +51,8 @@ <jvmarg value="-Djava.awt.headless=true" /> <arg value="--theme" /> <arg value="${theme}" /> + <arg value="--theme-version" /> + <arg value="${theme-version}" /> <arg value="--theme-folder" /> <arg value="WebContent/VAADIN/themes" /> </java> |