From 1a0a3d85ca14106a2ecb5be5dd0de0e7d186d59f Mon Sep 17 00:00:00 2001 From: ridiculousfish Date: Thu, 27 Dec 2012 21:12:22 -0800 Subject: [PATCH] Try to make mktemp work on Linux --- build_tools/build_documentation.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 42b71eac3..8e9f69395 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -42,7 +42,7 @@ mkdir -p "${OUTPUTDIR}" # Make a temporary directory -TMPLOC=`mktemp -d -t fish_doc_build` || { echo >&2 "Could not build documentation because mktemp failed"; exit 1; } +TMPLOC=`mktemp -d -t fish_doc_build_XXXXXX` || { echo >&2 "Could not build documentation because mktemp failed"; exit 1; } # Copy stuff to the temp directory for i in "$FISHDIR"/doc_src/*.txt; do