xref: /petsc/lib/petsc/bin/maint/doublelinecheck.py (revision dfd57a172ac9fa6c7b5fe6de6ab5df85cefc2996)
1import sys
2
3found = 0
4prevnum = -1
5fd = open(sys.argv[1])
6for a in fd.readlines():
7  f   = a[0:a.find(':')]
8  num = int(a[a.find(':')+1:-2])
9  if num == prevnum+1: found += 1
10  if found == 2:
11    print('Found double blank line '+str(num)+' '+f)
12    found = 0
13  prevnum = num
14