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 |
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 |