diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 1cc3caaeb9..4cbc0c5e80 100644 --- a/build/build.xml +++ b/build/build.xml @@ -176,6 +176,8 @@ <mkdir dir="${result-path}" /> <!-- required when compiling WebContent/VAADIN/widgetsets (and also Java server-side classes) --> + <property name="lib-gwt-dev" location="${gwt-dir}/gwt-dev.jar" /> + <property name="lib-gwt-user" location="${gwt-dir}/gwt-user.jar" /> <echo>We are on ${platform} platform (${os.name} ${os.version}), using gwt version ${gwt-version}.</echo> |