3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-23 22:06:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Brute force casing

Browse Source
This commit is contained in:
Martin Hořeňovský 2019-07-19 13:29:16 +02:00
parent 52f3abadbb
commit 0e805512e5
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/approvalTests.py
View File

@ -92,9 +92,10 @@ def diffFiles(fileA, fileB):
def normalizeFilepath(line):
if catchPathSymbolic in line:
if catchPathSymbolic in line or catchPathSymbolic.lower() in line:
# make paths relative to Catch root
line = line.replace(catchPathSymbolic + os.sep, '')
line = line.replace(catchPathSymbolic.lower() + os.sep, '')
m = langFilenameParser.match(line)
if m: