# | Line 32 | Line 32 | for LIB in ${LIBRARIES}; do | |
---|---|---|
32 | echo " + ${LIB} found"; \ | |
33 | else \ | |
34 | echo " - ${LIB} not found, fetching from ${HTTPSERVER}${LIB}"; \ | |
35 | < | /usr/local/bin/wget -nv ${HTTPSERVER}${LIB}; \ |
35 | > | ${WGET} -nv ${HTTPSERVER}${LIB}; \ |
36 | fi | |
37 | ||
38 | done | |
# | Line 45 | Line 45 | if test -r "jacorb.properties"; then \ | |
45 | echo " + jacorb.properties found"; \ | |
46 | else \ | |
47 | echo " - jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ | |
48 | < | wget -nv ${HTTPSERVER}jacorb.properties; \ |
48 | > | ${WGET} ${HTTPSERVER}jacorb.properties; \ |
49 | fi | |
50 | ||
51 | ## Write out the include file for the Makefile's |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |