blob: b7ba73f6a3fce1e46819babfbb3f1d1e7124d1dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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)
|
