File: pid.sh

package info (click to toggle)
gawk 1%3A5.3.2-1
  • links: PTS
  • area: main
  • in suites: sid
  • size: 24,120 kB
  • sloc: ansic: 56,743; awk: 14,966; sh: 6,985; yacc: 6,820; makefile: 3,144; sed: 119; python: 31; csh: 6
file content (3 lines) | stat: -rwxr-xr-x 94 bytes parent folder | download | duplicates (8) 
1
2
3
 
#! /bin/sh
AWK=${AWK-../gawk}
exec $AWK -v "ok_pid=$$" -v "ok_ppid=$1" -f pid.awk 2>/dev/null