diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2024-05-28 10:53:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-28 10:53:41 -0700 |
| commit | f6b755dc62df5ff796eb076ae1459a69746ee2f7 (patch) | |
| tree | 6295c6aa2efd38722fa3453c4892b5a9e06d64d1 /source | |
| parent | 9323095c1aa35d8a406f3d94d7abf2d5621b01e9 (diff) | |
Simplify test file names for slang-test (#4227)
When slang-test.exe ran with a file name doesn't exactly match
character-by-character, those tests don't run.
This commit alters the file name given from the command-line and it will
behave in a more expected way.
- "./" are removed.
- "../" gets removed along with its parent directory name.
- Back-slash characters will be converted to slash on Windows.
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions