Re: autogen.sh patch

Daniel Stenberg wrote:
>
> # Toss config.cache if configure itself has changed.
> -if ! cmp configure configure.$$.tmp > /dev/null 2>&1; then
> +cmp configure configure.$$.tmp > /dev/null 2>&1
> +if [ $? = 1 ]; then
> echo "Tossing config.cache, since configure has changed."
> rm -f config.cache
> fi
>
Better make that `[ $? != 0 ]', unless you're absolutely sure cmp can
only exit with 0 or 1.

    Brane
Received on Sat Oct 21 14:36:09 2006