| # | Line 37 | Line 37 | else \ | |
|---|---|---|
| 37 | wget -nv ${HTTPSERVER}parser.jar; \ | |
| 38 | fi | |
| 39 | ||
| 40 | + | if test -r "mm.mysql-2.0.2-bin.jar"; then \ |
| 41 | + | echo " mm.mysql-2.0.2-bin.jar found"; \ |
| 42 | + | else \ |
| 43 | + | echo " mm.mysql-2.0.2-bin.jar not found, fetching from ${HTTPSERVER}mm.mysql-2.0.2-bin.jar"; \ |
| 44 | + | wget -nv ${HTTPSERVER}mm.mysql-2.0.2-bin.jar; \ |
| 45 | + | fi |
| 46 | + | |
| 47 | echo "Checking for jacorb.properties" | |
| 48 | cd ${HOME} | |
| 49 | if test -r "jacorb.properties"; then \ | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |