diff options
| author | R. Bernstein <rocky@gnu.org> | 2012-10-21 18:32:09 -0400 |
|---|---|---|
| committer | R. Bernstein <rocky@gnu.org> | 2012-10-21 18:32:09 -0400 |
| commit | 9452cf6b9811f72785b7a4e3717d2dc722ecff4d (patch) | |
| tree | 37446d0b22f43a5dd8618d7caef700a44bdf038d | |
| parent | d686fcea866e6e6ca65615bc79ad3f36712fa51e (diff) | |
make-check-filter.rb: Correct remake separator string
| -rwxr-xr-x | make-check-filter.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-check-filter.rb b/make-check-filter.rb index d1070393..0f8976f3 100755 --- a/make-check-filter.rb +++ b/make-check-filter.rb @@ -17,8 +17,8 @@ pats = '(' + "^ vcd_demo.right", '^-- ', '^-+$', - '^<<+$', - '^>>+$', + '^##<<+$', + '^##>>+$', '^\s*$', ].join('|') + ')' # puts pats |