# 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*,*