--- projects/cms/source/server/configure 2003/02/11 22:38:29 1.20 +++ projects/cms/source/server/configure 2003/02/21 21:21:51 1.21 @@ -4,7 +4,7 @@ # i-scream Distributed Centralised Monitoring System # Server configure script # -# $Id: configure,v 1.20 2003/02/11 22:38:29 tdb Exp $ +# $Id: configure,v 1.21 2003/02/21 21:21:51 tdb Exp $ # ## Config @@ -44,17 +44,6 @@ for LIB in ${LIBRARIES}; do fi done - -## Check for jacorb properties file - -echo "> Checking for jacorb.properties" -cd ${HOME} -if test -r "jacorb.properties"; then \ - echo " + jacorb.properties found"; \ -else \ - echo " - jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ - ${WGET} ${HTTPSERVER}jacorb.properties; \ -fi ## Cache javadoc API package-list files echo "> Caching remote API's"