+ [ ! -x tools/check-typo ] + tools/check-typo INFO: pruned path ./build-aux (typo.prune) INFO: pruned path ./manual (typo.prune)