From 09b65b226147bb7d0d6eb4d99305288591c18d69 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Fri, 27 Jan 2012 18:10:58 +0200
Subject: [PATCH] Fixed widgetset compilation problem

---
 build/build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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}" />
-- 
2.39.5