hacks/fix.py

   1 #!/usr/bin/python3
   2
   3 import os
   4 import re
   5 import sys
   6
   7 filename = sys.argv[1]
   8
   9 o = open(filename + '.tmp', 'w')
  10
  11 for l in open(sys.argv[1]).readlines():
  12     if l.find("test/data") != -1 or l.find("build/test") != -1:
  13         m = re.match('.*("[^"]*")', l)
  14         try:
  15             path = m.group(1)
  16             bits = path[1:-1].split('/')
  17             fixed = 'path("%s")' % bits[0]
  18             for b in bits[1:]:
  19                 fixed += ' / "%s"' % b
  20             l = l.replace(path, fixed)
  21         except:
  22             pass
  23     print(l, end='', file=o)
  24
  25 os.rename(filename + '.tmp', filename)
  26
  27