diff options
| author | vng <viktor.govako@gmail.com> | 2018-07-24 17:36:42 +0300 |
|---|---|---|
| committer | mpimenov <mpimenov@users.noreply.github.com> | 2018-07-25 17:18:50 +0300 |
| commit | 984cdb538ab1576fc97af982a17a8301b67636de (patch) | |
| tree | 30e8f43df5164acee18010c7a450a2b58c918f3f /tools | |
| parent | 8611a19c0315cf35fe745209abc2169fc6dda676 (diff) | |
[MacOS] Fixed generate script.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/unix/generate_mwm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/unix/generate_mwm.sh b/tools/unix/generate_mwm.sh index 289c00b0c0..7c82150c00 100755 --- a/tools/unix/generate_mwm.sh +++ b/tools/unix/generate_mwm.sh @@ -66,7 +66,7 @@ GENERATOR_TOOL="${GENERATOR_TOOL-$SCRIPT_PATH/bin/generator_tool}" [ ! -x "${GENERATOR_TOOL-}" ] && fail "Cannot find generator tool" if [ "$(uname)" == "Darwin" ]; then - INTDIR=$(mktemp -d -t mwmgen) + INTDIR=$(mktemp -d -t mwmgen.XXXXXXXX) else INTDIR=$(mktemp -d) fi |