diff options
author | ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-27 21:12:22 -0800 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-27 21:12:22 -0800 |
commit | 1a0a3d85ca14106a2ecb5be5dd0de0e7d186d59f (patch) | |
tree | 71ecf2b94c792c986658549a8638c6c0fd49569b /build_tools/build_documentation.sh | |
parent | 1bbac9e5cec4b94f7fefa765ac26bcb1dd826b57 (diff) |
Try to make mktemp work on Linux
Diffstat (limited to 'build_tools/build_documentation.sh')
-rwxr-xr-x | build_tools/build_documentation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 42b71eac..8e9f6939 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 |