This is a harmless bug, as the script still works, but curl's '-O' option isn't the...

contrib/ChangeLog:

	* download_prerequisites: Don't pass wget options to curl.

diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites
index da19913f9abbbd0406fdf0a43b85d83fa49928b2..7d0c4b5ea8dcf2d29c978c7b8490deb54800a910 100755 (executable)
--- a/contrib/download_prerequisites
+++ b/contrib/download_prerequisites
@@ -222,7 +222,7 @@ for ar in $(echo_archives)
 do
     if [ ${force} -gt 0 ]; then rm -f "${directory}/${ar}"; fi
     [ -e "${directory}/${ar}" ]                                               \
-        || ${fetch} --no-verbose -O "${directory}/${ar}" "${base_url}${ar}"       \
+        || ( cd "${directory}" && ${fetch} --no-verbose "${base_url}${ar}" )  \
         || die "Cannot download ${ar} from ${base_url}"
 done
 unset ar