source: vendor/gawk/3.1.5/test/pid.sh@ 3076

Last change on this file since 3076 was 3076, checked in by bird, 19 years ago

gawk 3.1.5

File size: 108 bytes
Line 
1#! /bin/sh
2AWK=${AWK-../gawk}
3echo $$ > _pid.in
4echo $1 >> _pid.in
5exec $AWK -f pid.awk _pid.in 2>/dev/null
Note: See TracBrowser for help on using the repository browser.