Skip to content

Commit 52e6d20

Browse files
committed
Remove 'exec' so tmp file is cleaned.
1 parent 40c9ea5 commit 52e6d20

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

Tools/configure/configure.awk

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ _awk=$(_find_awk)
3030
_tmpf=$(mktemp "${TMPDIR:-/tmp}/configure.XXXXXXXXXX") || exit 1
3131
trap 'rm -f "$_tmpf"' EXIT
3232
sed '1,/^#---AWK-START---$/d' "$0" > "$_tmpf"
33-
exec "$_awk" -f "$_tmpf" -- "$@"
33+
"$_awk" -f "$_tmpf" -- "$@"
3434
#---AWK-START---
3535
# === pyconf.awk runtime ===
3636
# pyconf.awk — AWK runtime library for the configure transpiler.

Tools/configure/transpiler/transpile.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@
6262
_tmpf=$(mktemp "${TMPDIR:-/tmp}/configure.XXXXXXXXXX") || exit 1
6363
trap 'rm -f "$_tmpf"' EXIT
6464
sed '1,/^#---AWK-START---$/d' "$0" > "$_tmpf"
65-
exec "$_awk" -f "$_tmpf" -- "$@"
65+
"$_awk" -f "$_tmpf" -- "$@"
6666
#---AWK-START---
6767
"""
6868

0 commit comments

Comments
 (0)