Author: nickboldt Date: 2010-12-23 01:20:14 -0500 (Thu, 23 Dec 2010) New Revision: 27704 Modified: trunk/build/pom-disabled-components.xml Log: remove runtime and tptp, now built upstream Modified: trunk/build/pom-disabled-components.xml =================================================================== --- trunk/build/pom-disabled-components.xml 2010-12-23 05:49:36 UTC (rev 27703) +++ trunk/build/pom-disabled-components.xml 2010-12-23 06:20:14 UTC (rev 27704) @@ -189,23 +189,6 @@ </profile> <profile> - <id>tptp</id> - <activation> - <activeByDefault>true</activeByDefault> - </activation> - <modules> - <module>../tptp</module> - </modules> - </profile> - - <profile> - <id>tptp-bootstrap</id> - <modules> - <module>../tptp</module> - </modules> - </profile> - - <profile> <id>ws</id> <activation> <activeByDefault>true</activeByDefault> @@ -224,16 +207,6 @@ </profile> <profile> - <id>runtime</id> - <activation> - <activeByDefault>true</activeByDefault> - </activation> - <modules> - <module>../runtime</module> - </modules> - </profile> - - <profile> <id>site</id> <activation> <activeByDefault>true</activeByDefault>