File: pid.sh

package info (click to toggle)

gawk 1%3A5.1.0-1

links: PTS
area: main
in suites: bullseye
size: 22,628 kB
sloc: ansic: 52,745; awk: 13,172; yacc: 6,774; sh: 5,744; makefile: 2,838; sed: 135; csh: 6

file content (3 lines) | stat: -rwxr-xr-x 94 bytes

1
2
3

#! /bin/sh
AWK=${AWK-../gawk}
exec $AWK -v "ok_pid=$$" -v "ok_ppid=$1" -f pid.awk 2>/dev/null