diff options
| -rwxr-xr-x | bin/Bfn | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bin/Bfn b/bin/Bfn new file mode 100755 index 000000000..636aee524 --- /dev/null +++ b/bin/Bfn @@ -0,0 +1,16 @@ +#!/bin/rc +if(! ~ $#* 1){ + echo usage: $0 fn >[2=1] + exit usage +} +res=`{grep -n '^'$1'\(' *.c | sed -n 's/^([^:]*:[^:]*).*$/\1/gp' } +ifs=' +' +for(i in $res) + echo $i +switch($#res){ +case 0 + echo $1: not found >[2=1] +case 1 + plumb $res +} |
