reported a problem where the -O option to curl was not available. Also
changed -O to --remote-name in the hope that this works better
+Wed Oct 12 23:30:18 EDT 2005 Art Cancro <ajc@uncensored.citadel.org>
+* newinstall.sh: once again, prefer wget over curl. At least one user
+ reported a problem where the -O option to curl was not available. Also
+ changed -O to --remote-name in the hope that this works better.
+
Wed Oct 12 17:32:05 EDT 2005 Art Cancro <ajc@uncensored.citadel.org>
* imap_search.c: when fulltext index is enabled, avoid doing a slow search
on each message when BODY is requested. Messages are already qualified
os=`uname`
-[ -z "$WGET" ] && [ -x `which curl` ] && WGET=`which curl`\ -O
[ -z "$WGET" ] && [ -x `which wget` ] && WGET=`which wget`
+[ -z "$WGET" ] && [ -x `which curl` ] && WGET=`which curl`\ --remote-name
echo MAKE is $MAKE
echo WGET is $WGET