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

»--lint« wird abgeschaltet, da an »LINT« zugewiesen wird