13 May
2023
13 May
'23
5:47 p.m.
Windows only provides the 32-bit API and using todo_wine win_skip() in the 64-bit case would imply Wine needs fixing. So it's simpler to use a plain skip().
Other schemes like picking between skip() and win_skip() based on bitness feel like they would be way overkill.