file exclude.lst
# this file specifies which particular warnings should be excluded. The rules will
# still be executed, but warnings are intercepted if they match this file.
# You can also consider using {&_proparse_ prolint-nowarn(ruleid,ruleid)} directives
#
# format:
# sourcefile|rules
#
# sourcefile : spell exactly as it appears in "Prolint result window",
# wildcards are accepted. CAN-DO rules apply
# rule : comma separated list of identifiers of the rules that gives the warning,
# wildcards are accepted. CAN-DO rules apply
#
# empty lines or lines matching #* are ignored
# exclude everything from directories adm and adm2:
adm/*.i|*
adm2/*.i|*
# from file ifindent.i, allow rules ifindent1 and ifindent2 but exclude all other rules:
prolint/regrtest/ifindent.i|!ifindent*,*