From: Artur Signell <artur@vaadin.com>
Date: Fri, 27 Jan 2012 16:10:58 +0000 (+0200)
Subject: Fixed widgetset compilation problem
X-Git-Tag: 7.0.0.alpha2~527
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=09b65b226147bb7d0d6eb4d99305288591c18d69;p=vaadin-framework.git

Fixed widgetset compilation problem
---

diff --git a/build/build.xml b/build/build.xml
index 9abb8f746e..0fe17a5b73 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -487,8 +487,8 @@
         <java classname="com.google.gwt.dev.Compiler" failonerror="yes" fork="yes" maxmemory="512m">
         	<classpath>
         		   <path refid="compile.classpath.client-side" />
-        		   <pathelement location="${result-path}/classes" />
-        	       <pathelement location="${result-path}/src/core" />
+        		   <pathelement location="${result-classes-core}" />
+        	       <pathelement location="${result-src-core}" />
             </classpath>            
             <arg value="-war" />
             <arg value="${widgetsets-output-dir}" />