diff options
| -rw-r--r-- | hacks/fix.py | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/hacks/fix.py b/hacks/fix.py new file mode 100644 index 000000000..b7ba73f6a --- /dev/null +++ b/hacks/fix.py @@ -0,0 +1,27 @@ +#!/usr/bin/python3 + +import os +import re +import sys + +filename = sys.argv[1] + +o = open(filename + '.tmp', 'w') + +for l in open(sys.argv[1]).readlines(): + if l.find("test/data") != -1 or l.find("build/test") != -1: + m = re.match('.*("[^"]*")', l) + try: + path = m.group(1) + bits = path[1:-1].split('/') + fixed = 'path("%s")' % bits[0] + for b in bits[1:]: + fixed += ' / "%s"' % b + l = l.replace(path, fixed) + except: + pass + print(l, end='', file=o) + +os.rename(filename + '.tmp', filename) + + |
