xref: /petsc/lib/petsc/bin/maint/doublelinecheck.py (revision b8025e5384d0ddb82cb4f2e681b35abea372aa3e)
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