From 66002956bbc4dc14d7a2535a80513a14f00a8f14 Mon Sep 17 00:00:00 2001
From: mh <mh>
Date: Tue, 26 Mar 2002 20:35:31 +0000
Subject: [PATCH] commented out perms.sh. I don't think it should be used by
 default. maybe a target? also added comment about jikes.

---
 build.xml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index ebb81e6f..20f9d47a 100755
--- a/build.xml
+++ b/build.xml
@@ -68,6 +68,10 @@
   <property name="dist.src"       value="${app.name}.jar"/>
   <property name="dist.war"       value="${app.name}.war"/>
   <property name="javadoc.home"   value="${deploy.home}/javadoc"/>
+
+  <!-- If you want to use the very good jikes compiler, uncomment this
+  <property name="build.compiler"   value="jikes"/>-->
+
   <!-- The following 3 properties seem redundant -->
   <property name="java.home"   	  value="/usr/lib/j2sdk1.3/"/>
   <property name="java.localhome" value="/usr/share/java/"/>
@@ -183,8 +187,11 @@
     </copy>
     <copy   todir="${deploy.home}">
       <fileset dir="source" includes="**/content-types.properties"/>
+      <fileset dir="source" includes="**/server.xml"/>
     </copy>
-	<exec executable="./perms.sh"/>
+  <!-- I really don't think this is needed by default. maybe make it a targe?
+    -mh -->
+	<!--<exec executable="./perms.sh"/>-->
   </target>
 
 
-- 
2.11.0