| # | Line 45 | Line 45 | for LIB in ${LIBRARIES}; do | |
|---|---|---|
| 45 | ||
| 46 | done | |
| 47 | ||
| 48 | – | ## Check for jacorb properties file |
| 49 | – | |
| 50 | – | echo "> Checking for jacorb.properties" |
| 51 | – | cd ${HOME} |
| 52 | – | if test -r "jacorb.properties"; then \ |
| 53 | – | echo " + jacorb.properties found"; \ |
| 54 | – | else \ |
| 55 | – | echo " - jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ |
| 56 | – | ${WGET} ${HTTPSERVER}jacorb.properties; \ |
| 57 | – | fi |
| 58 | – | |
| 48 | ## Cache javadoc API package-list files | |
| 49 | echo "> Caching remote API's" | |
| 50 | ||
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |