Skip to content

Commit

Permalink
address review comments by David and Damien
Browse files Browse the repository at this point in the history
  • Loading branch information
gasche committed Oct 17, 2018
1 parent 6f89a4e commit b263802
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 6 deletions.
7 changes: 3 additions & 4 deletions .gitattributes
Expand Up @@ -16,7 +16,7 @@
# Default behaviour, for if core.autocrlf isn't set
* text=auto

# Don't believe there's a way to wrap lines in .gitattributes files
# It is not possible to wrap lines lines in .gitattributes files
.gitattributes typo.long-line=may

# Binary files
Expand All @@ -40,6 +40,7 @@
*.md typo.missing-header
README* typo.missing-header
*.adoc typo.missing-header

*.adoc typo.long-line=may

/.mailmap typo.long-line typo.missing-header typo.non-ascii
Expand All @@ -62,13 +63,12 @@ README* typo.missing-header
Makefile* typo.tab=may

asmcomp/*/emit.mlp typo.tab=may typo.long-line=may
asmcomp/power/NOTES.md typo.missing-header

/config/gnu typo.prune

emacs/*.el typo.long-line=may
emacs/caml.el typo.long-line=may typo.missing-header
emacs/COPYING typo.tab typo.non-printing typo.missing-header
emacs/COPYING typo.prune
emacs/ocamltags.in typo.non-printing

/manual typo.prune
Expand Down Expand Up @@ -99,7 +99,6 @@ testsuite/typing typo.missing-header

# prune testsuite reference files
testsuite/tests/**/*.reference typo.prune
testsuite/tests/**/reference typo.prune

# Expect tests with overly long lines of expected output
testsuite/tests/parsing/docstrings.ml typo.very-long-line
Expand Down
4 changes: 2 additions & 2 deletions tools/check-typo
Expand Up @@ -101,8 +101,8 @@ get_attrs() {
# Special case for recursive call from the find command (see IGNORE_DIRS).
case "$1" in
--check-prune)
case $2,"$(get_attrs "$2" | grep prune)" in
*,*prune*|.git,*)
case $2,"$(get_attrs "$2" | grep -xF prune)" in
*,prune|.git,*)
echo "INFO: pruned directory $2 (typo.prune)" >&2
exit 0;;
*,*) exit 3;;
Expand Down

0 comments on commit b263802

Please sign in to comment.