[FFmpeg-devel] [PATCH] configure: add --tempprefix option

[Derek Buitenhuis]

On 10/5/2013 1:08 PM, Michael Niedermayer wrote:
> +if [ -n "$tempprefix" ] ; then
> +    mktemp(){
> +        echo $tempprefix.${HOSTNAME}.${UID}
> +    }
> +fi

mktemp may be defined earlier on in the configure script,
so you need to undefine it first.

- Derek