diff options
Diffstat (limited to 'themes/build.xml')
| -rw-r--r-- | themes/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/themes/build.xml b/themes/build.xml index 93959e054f..efbaaaa18f 100644 --- a/themes/build.xml +++ b/themes/build.xml @@ -82,6 +82,8 @@ <arg value="${theme}" /> <arg value="--theme-folder" /> <arg value="${theme.result.dir}" /> + <arg value="--version" /> + <arg value="${vaadin.version}" /> <jvmarg value="-Xss8M" /> <jvmarg value="-XX:MaxPermSize=256M" /> <jvmarg value="-Djava.awt.headless=true" /> |