diff options
| -rwxr-xr-x | buildtools/update-waf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildtools/update-waf.sh b/buildtools/update-waf.sh index c368f5a736..277111feb4 100755 --- 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 -t update-waf`" +WORKDIR="`mktemp -d -t update-waf-XXXXXX`" mkdir -p "$WORKDIR" |