Searched refs:lint_re (Results 1 – 1 of 1) sorted by relevance
142 my $lint_re = qr/\/\*(?:537 !(/$lint_re/ || ($splint_comments && /$splint_re/))) {541 !(/$lint_re/ || ($splint_comments && /$splint_re/))) {