From: mh <mh>
Date: Tue, 26 Mar 2002 20:35:31 +0000 (+0000)
Subject: commented out perms.sh. I don't think it should be used by default. maybe a
X-Git-Tag: prexmlproducerconfig~238
X-Git-Url: http://erislabs.net/gitweb/?a=commitdiff_plain;h=66002956bbc4dc14d7a2535a80513a14f00a8f14;hp=ac6315eb5543794d14edf8f9df12c20c2fde9abc;p=mir.git

commented out perms.sh. I don't think it should be used by default. maybe a
target? also added comment about jikes.
---

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>