replace tempfile by mktemp which is available on other distros than Debian

2017-12-04 15:49:32 +01:00
parent d81e78f556
commit a622cb47a7
1 changed files with 1 additions and 1 deletions
--- 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)"