diff options
| author | Artur Signell <artur@vaadin.com> | 2012-09-09 12:15:27 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-09-09 12:15:27 +0300 |
| commit | 65de3244f6f263a59492d32085057e895f68d1a8 (patch) | |
| tree | ed5526b9c0648346790b9deceddbafaf26c09232 /gwt-files.xml | |
| parent | 954ddac3109562588812694067a9b09f63f7c0d2 (diff) | |
| download | vaadin-framework-65de3244f6f263a59492d32085057e895f68d1a8.tar.gz vaadin-framework-65de3244f6f263a59492d32085057e895f68d1a8.zip | |
More debug info
Diffstat (limited to 'gwt-files.xml')
| -rw-r--r-- | gwt-files.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gwt-files.xml b/gwt-files.xml index 6b61b2f547..87bf6485d0 100644 --- a/gwt-files.xml +++ b/gwt-files.xml @@ -15,10 +15,10 @@ <available file="${gwt.elemental.jar}" property="gwt.elemental.jar.found" /> <available file="${gwt.codeserver.jar}" property="gwt.codeserver.jar.found" /> - <fail unless="gwt.dev.jar.found" message="Could not find gwt-dev.jar" /> - <fail unless="gwt.user.jar.found" message="Could not find gwt-user.jar" /> - <fail unless="gwt.elemental.jar.found" message="Could not find gwt-elemental.jar" /> - <fail unless="gwt.codeserver.jar.found" message="Could not find gwt-codeserver.jar" /> + <fail unless="gwt.dev.jar.found" message="Could not find gwt-dev.jar at ${gwt.dev.jar}" /> + <fail unless="gwt.user.jar.found" message="Could not find gwt-user.jar at ${gwt.user.jar}" /> + <fail unless="gwt.elemental.jar.found" message="Could not find gwt-elemental.jar at ${gwt.elemental.jar}" /> + <fail unless="gwt.codeserver.jar.found" message="Could not find gwt-codeserver.jar at ${gtw.codeserver.jar}" /> <property name="gwt.unpack.dir" location="${vaadin.basedir}/build/gwt" /> |