From 3536d4e5bcc426eded4d09890a4887ba5c3d8832 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Tue, 3 Jul 2012 11:57:59 +0300
Subject: [PATCH] Add gwt.lib.dir for using prebuilt gwt jar files not in lib
 dir

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

diff --git a/build/build.xml b/build/build.xml
index 85bee09a52..0e6f1b40dd 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -41,11 +41,12 @@
     	<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"/>
+    	<property name="gwt.lib.dir" value="${gwt.build.dir}/lib"/>
     	
-    	<property name="gwt.user.jar" value="${gwt.build.dir}/lib/gwt-user.jar"/>
-    	<property name="gwt.dev.jar" value="${gwt.build.dir}/lib/gwt-dev.jar"/>
-    	<property name="gwt.codeserver.jar" value="${gwt.build.dir}/lib/gwt-codeserver.jar"/>
-    	<property name="gwt.elemental.jar" value="${gwt.build.dir}/lib/gwt-elemental.jar"/>
+    	<property name="gwt.user.jar" value="${gwt.lib.dir}/gwt-user.jar"/>
+    	<property name="gwt.dev.jar" value="${gwt.lib.dir}/gwt-dev.jar"/>
+    	<property name="gwt.codeserver.jar" value="${gwt.lib.dir}/gwt-codeserver.jar"/>
+    	<property name="gwt.elemental.jar" value="${gwt.lib.dir}/gwt-elemental.jar"/>
 
     	<property name="gwt.user.dir" value="${gwt.root}/user"/>
     	<property name="gwt.user.bin" value="${gwt.build.dir}/out/user/bin"/>
-- 
2.39.5