3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-08-03 22:05:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix(python): fix invalid escape sequences

Browse Source
This commit is contained in:
Eisuke Kawashima
2025-06-09 10:10:19 +09:00
committed by Chris Thrasher
parent 04cbcfa1d1
commit ceed26842b
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/scripts/checkConvenienceHeaders.py
View File

@@ -21,11 +21,11 @@ import os
import re
def normalized_path(path):
"""Replaces \ in paths on Windows with /"""
r"""Replaces \ in paths on Windows with /"""
return path.replace('\\', '/')
def normalized_paths(paths):
"""Replaces \ with / in every path"""
r"""Replaces \ with / in every path"""
return [normalized_path(path) for path in paths]
source_path = catchPath + '/src/catch2'