Author: thomas.heute(a)jboss.com Date: 2008-02-04 05:25:04 -0500 (Mon, 04 Feb 2008) New Revision: 9731 Removed: modules/portlet/tags/JBP_PORTLET_1_0_2/build/local.properties Log: Delete Deleted: modules/portlet/tags/JBP_PORTLET_1_0_2/build/local.properties =================================================================== --- modules/portlet/tags/JBP_PORTLET_1_0_2/build/local.properties 2008-02-04 10:14:08 UTC (rev 9730) +++ modules/portlet/tags/JBP_PORTLET_1_0_2/build/local.properties 2008-02-04 10:25:04 UTC (rev 9731) @@ -1,48 +0,0 @@ -### ====================================================================== ### -## ## -## Local project properties. ## -## ## -## Define properties that are local to your environment here. This ## -## file (local.properties) should not be checked in. Modify the ## -## example to affect all users. ## -## ## -### ====================================================================== ### - -### General compiler configuration ### - -#build.compiler=jikes -#build.warnings=true -#build.pedantic=true -#javac.depend=on - -### Javac/Jikes compiler configuration ### - -javac.optimize=off -javac.debug=on -javac.deprecation=on - -### Enable verbose build output ### - -#init.verbose=true - -### JavaDoc ### -#docs-javadocs.disable=true - -### Do we build xdoclet or get it from thirdparty ### -### uncomment for thirdparty: comment to use xdoclet module. -### To use xdoclet module also uncomment the xdoclet line in groups in build/build.xml -#xdoclet.xdoclet.root=${project.root}/thirdparty/xdoclet - -# Portal database, for now : hsqldb, mysql, postgresql are the possible values -portal.database=mysql -# The datasource name used in the JNDI binding -portal.datasource.name=PortalDS -# Context root for the portal main servlet -portal.web.context-root=/portal -# JBoss server/<xxx> directory for JBoss Portal, ie: $JBOSS_HOME/server/default -portal.deploy.dir=default/deploy -portal-ha.deploy.dir=all/deploy -# Show SQL or not -portal.sql.show=false -# Uncomment if you want to use a specific JBoss home path otherwise the build will use the JBOSS_HOME env variable -#jboss.home=