This patch fixes it: --- a/buildtools/update-waf.sh +++ b/buildtools/update-waf.sh @@ -2,7 +2,7 @@ # Update our copy of waf TARGETDIR="`dirname $0`" -WORKDIR="`mktemp -d`" +WORKDIR="`mktemp -d -t update-waf`" mkdir -p "$WORKDIR"
I guess this is fine as a patch, though it shouldn't really be necessary for normal users to run update-waf.sh. We only use it to update our copy of waf whenever there is a relevant bug fix in waf upstream.
I'm not an ordinary user :-)
I've pushed this to "master".