diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-03-07 11:52:13 +0000 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2019-03-27 10:32:40 +0000 |
| commit | 3f91e8750bbb9a9dc9fb979ce586d7c585e71b86 (patch) | |
| tree | 73bd02409d464b73079755bfd88e6c8fd517cd49 /tools | |
| parent | db215dda8f31e52f97b2d4ae6830bf9435341566 (diff) | |
| download | ocaml-3f91e8750bbb9a9dc9fb979ce586d7c585e71b86.tar.gz | |
Skip files in .gitignore in check-typo
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-typo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/check-typo b/tools/check-typo index f86ff0cb3d..5c411dfaf9 100755 --- a/tools/check-typo +++ b/tools/check-typo @@ -171,6 +171,7 @@ EXIT_CODE=0 ) | ( while read f; do if test -n "$(check_prune "$f")"; then continue; fi + if $(git check-ignore -q "$f"); then continue; fi case `$OCAML_CT_LS_FILES "$f" 2>&1` in "") path_in_index=false;; *) path_in_index=true;; |