diff options
Diffstat (limited to 'test/pid.sh')
-rwxr-xr-x | test/pid.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/pid.sh b/test/pid.sh index 901637ad..da49afdf 100755 --- a/test/pid.sh +++ b/test/pid.sh @@ -1,5 +1,3 @@ #! /bin/sh AWK=${AWK-../gawk} -echo $$ > _pid.in -echo $1 >> _pid.in -exec $AWK -f pid.awk _pid.in 2>/dev/null +exec $AWK -v "ok_pid=$$" -v "ok_ppid=$1" -f pid.awk 2>/dev/null |