From 30dab8586f785dc37f988c49bd1f0eb5e657dd28 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@threerings.net>
Date: Wed, 16 Jan 2002 02:57:19 +0000
Subject: [PATCH] Use the JAVA_LIBS environment variable to determine where our
 common java libraries are to be found.

git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@860 542714f4-19e9-0310-aa3c-eee0fc999fb1
---
 build.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 84c613409..d41956132 100644
--- a/build.xml
+++ b/build.xml
@@ -11,7 +11,10 @@
   <property name="javadoc.home"   value="${deploy.dir}/docs"/>
   <property name="build.compiler" value="jikes"/>
   <property name="build.optimize" value="off"/>
-  <property name="java.libraries" value="/usr/share/java"/>
+
+  <!-- we want to access the environment -->
+  <property environment="env"/>
+  <property name="java.libraries" value="${env.JAVA_LIBS}"/>
 
   <!-- declare our classpath -->
   <path id="classpath">