src/test/run-make-fulldeps/coverage-reports/normalize_paths.py

   1 #!/usr/bin/env python
   2
   3 from __future__ import print_function
   4
   5 import sys
   6
   7 # Normalize file paths in output
   8 for line in sys.stdin:
   9     if line.startswith("..") and line.rstrip().endswith(".rs:"):
  10         print(line.replace("\\", "/"), end='')
  11     else:
  12         print(line, end='')