Skip to content

Commit 0bdc11e

Browse files
committed
fix paths
1 parent f9ef003 commit 0bdc11e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/opa_coverage.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,7 @@ def main(argv: List[str]):
9191
if file in args:
9292
continue # Skip test sources
9393
print(f"TN:{test_name.removeprefix('@@')}", file=f)
94-
print(f"SF:{file}", file=f)
94+
print(f"SF:{file.removeprefix('/')}", file=f)
9595
print(f"FNF:0", file=f)
9696
print(f"FNH:0", file=f)
9797

0 commit comments

Comments
 (0)