Commit dcd0c8e
committed
super_errors_multi: lowercase
`find_in_path_uncap` resolves `.cmi` lookups case-insensitively, so the
filename printed in error messages picks up whichever case the host
filesystem returns: lowercase on macOS APFS/HFS+, capitalised on Linux
ext4. Snapshots captured locally on macOS therefore mismatch on Linux
CI (`foo.cmi` vs `Foo.cmi`).
Normalise every `.cmi` basename to lowercase in postProcessErrorOutput
so snapshots are platform-independent. The same function runs on the
expected file too, so existing snapshots keep matching..cmi basenames in snapshot post-processing1 parent 492fbcc commit dcd0c8e
1 file changed
Lines changed: 9 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
47 | 47 | | |
48 | 48 | | |
49 | 49 | | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
50 | 59 | | |
51 | 60 | | |
52 | 61 | | |
| |||
0 commit comments