blob: fb6e3dfc06fbb2b6088616146eacd53c87994078 (
plain)
1
2
3
4
5
|
gawk: lint.awk:6: warning: delete: index `2' not in array `a'
gawk: lint.awk:7: warning: turning off `--lint' due to assignment to `LINT'
gawk: lint.awk:10: warning: delete: index `4' not in array `a'
gawk: lint.awk:11: warning: turning off `--lint' due to assignment to `LINT'
done
|
