2022-03-09 14:36:59 +01:00
|
|
|
addFilter(".*E:.*explicit-lib-dependency.*lib.*")
|
|
|
|
|
addFilter(".*E:.*zero-length.*")
|
|
|
|
|
addFilter(".*W:.*hidden-file-or-dir.*/usr/share/racket/pkgs/.LOCKpkgs.rktd")
|
|
|
|
|
addFilter(".*E:.*script-without-shebang.*/starter-sh.*")
|
|
|
|
|
addFilter(".*E:.*script-without-shebang.*/setup-core.*")
|
|
|
|
|
addFilter(".*E:.*non-executable-script.*/usr/share/racket/pkgs/htdp-lib/2htdp/uchat/xrun.*")
|
