Browse Source

even more line endings checks

Bill Gianopoulos 2 years ago
parent
commit
bb703a3145
1 changed files with 1 additions and 1 deletions
  1. 1 1
      scripts/check_series.sh

+ 1 - 1
scripts/check_series.sh

@@ -36,7 +36,7 @@ do
       echo bad hg header in $i
       continue
     fi
-    if ! head -2 $i | grep '^# User .*[@<]' >/dev/null
+    if ! head -2 $i | grep '^# User .*[@<].*[>A-Za-z0-9]$' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i