From a622cb47a711d1a13f464dbc1c1a7e462e648b5a Mon Sep 17 00:00:00 2001 From: "max.mehl" Date: Mon, 4 Dec 2017 15:49:32 +0100 Subject: [PATCH] replace tempfile by mktemp which is available on other distros than Debian --- build/logging.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/logging.sh b/build/logging.sh index 2c0b2011cf..f2a9ad34c1 100755 --- a/build/logging.sh +++ b/build/logging.sh @@ -19,7 +19,7 @@ forcelog(){ name="$1" [ "$(logname "$name")" = "/dev/null" ] \ - && forcedlog="$forcedlog\n${name}=$(tempfile -p w3bld -s $$)" + && forcedlog="$forcedlog\n${name}=$(mktemp -p w3bld -s $$)" } [ -z "$USER" ] && USER="$(whoami)"