blob: e5777ad2512f1f5621ca29dcbe4d1c2ce2f92fa2 [file] [log] [blame]
#!/usr/bin/env python
from __future__ import print_function
import sys
# Normalize file paths in output
for line in sys.stdin:
if line.startswith("..") and line.rstrip().endswith(".rs:"):
print(line.replace("\\", "/"), end='')
else:
print(line, end='')