Replace some older shell syntax with newer and/or more reliable equivalents

This commit is contained in:
Kamil Śliwak
2021-03-04 16:53:05 +01:00
parent 8c57c7cb35
commit 4c186321c8
6 changed files with 8 additions and 8 deletions
+1 -1
View File
@@ -34,7 +34,7 @@ IFS=" " read -r -a SMT_FLAGS <<< "$SMT_FLAGS"
source "${REPO_ROOT}/scripts/common.sh"
WORKDIR=`mktemp -d`
WORKDIR=$(mktemp -d)
CMDLINE_PID=
cleanup() {