Bill Gianopoulos 3 years ago
parent
commit
2d113aa6dc
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 .*[@<]' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i