diff options
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 6b3a046616..85bee09a52 100644 --- a/build/build.xml +++ b/build/build.xml @@ -35,6 +35,9 @@ <fileset dir="build" includes="lib/**/*.jar" ></fileset> </path> + <!-- Default location for GWT check-out: trunk and tools in a directory next to Vaadin project --> + <property name="gwt.root" value="${basedir}/../trunk"/> + <property name="gwt.build.dir" value="${gwt.root}/build"/> <property name="gwt.tools" value="${gwt.root}/../tools"/> <property name="gwt.tools.lib" value="${gwt.tools}/lib"/> |