Z:gnu-gawk--3ad07a-turning off `--lint' due to as/es

se desactiva `--lint' debido a una asignación a `LINT'