diff options
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" /> |