mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2024-11-08 18:36:17 +01:00
30 lines
863 B
Python
30 lines
863 B
Python
|
import sys
|
||
|
|
import os
|
||
|
|
import io
|
||
|
|
|
||
|
|
|
||
|
|
def main(argv):
|
||
|
|
# Fix paths in lcov files generated on a Windows host so they match our
|
||
|
|
# current source layout.
|
||
|
|
paths = argv[1:]
|
||
|
|
|
||
|
|
for path in paths:
|
||
|
|
print("cov-fixup:", path)
|
||
|
|
text = io.open(path, "r", encoding="utf-8").read()
|
||
|
|
text = text.replace("\\\\", "/")
|
||
|
|
glib_dir = "/glib/"
|
||
|
|
end = text.index(glib_dir)
|
||
|
|
start = text[:end].rindex(":") + 1
|
||
|
|
old_root = text[start:end]
|
||
|
|
assert os.path.basename(os.getcwd()) == "glib"
|
||
|
|
new_root = os.path.dirname(os.getcwd())
|
||
|
|
if old_root != new_root:
|
||
|
|
print("replacing %r with %r" % (old_root, new_root))
|
||
|
|
text = text.replace(old_root, new_root)
|
||
|
|
with io.open(path, "w", encoding="utf-8") as h:
|
||
|
|
h.write(text)
|
||
|
|
|
||
|
|
|
||
|
|
if __name__ == "__main__":
|
||
|
|
sys.exit(main(sys.argv))
|