blob: e5777ad2512f1f5621ca29dcbe4d1c2ce2f92fa2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/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='')
|