check-typo: make sure that 'prune' attributes on non-directories are honored
check-typo: make sure that 'prune' attributes on non-directories are honored

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml