summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-10-15 13:49:55 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-10-15 13:49:55 +0000
commit85db48466a7e217b2cd4c6d9f4fb47ea14286038 (patch)
tree77ecc6890f7e5320d6ed8e4331adef44159cdff3
parent08c3b1780a8771124c21efa07155cd8672a13ca6 (diff)
small tweaks
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xtools/check-typo8
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/check-typo b/tools/check-typo
index fe8cf518a..511124060 100755
--- a/tools/check-typo
+++ b/tools/check-typo
@@ -20,7 +20,7 @@
# - absence of non-ASCII characters (non-ascii)
# - absence of non-printing ASCII characters (non-printing)
# - absence of white space at end of line (white-at-eol)
-# - absence of white lines at end of file (white-at-eof)
+# - absence of empty lines at end of file (white-at-eof)
# - presence of a LF character at the end of the file (missing-lf)
# - maximum line length of 80 characters (long-line)
# - presence of a copyright header (missing-header)
@@ -79,9 +79,9 @@ userrules=''
while : ; do
case "$1" in
+ -help|--help) usage;;
-*) userrules="${1#-},$userrules"; shift;;
--) shift; break;;
- -*) usage;;
*) break;;
esac
done
@@ -193,8 +193,8 @@ IGNORE_DIRS='
}else{
empty_file = NR == 1;
}
- if (!empty_file && match(prev_line, /^[ \t]*$/)){
- err("white-at-eof", "white line(s) at EOF");
+ if (!empty_file && match(prev_line, /^$/)){
+ err("white-at-eof", "empty line(s) at EOF");
}
NR = 1;
RSTART = 1;