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