File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -300,6 +300,8 @@ def is_testcases_already_generated(self) -> bool:
300
300
301
301
def is_checker_already_generated (self ) -> bool :
302
302
checker_bin = self .checker .parent / self .checker .stem
303
+ if platform .system () == 'Windows' :
304
+ checker_bin = checker_bin .with_suffix ('.exe' )
303
305
if not checker_bin .exists ():
304
306
return False
305
307
@@ -319,7 +321,7 @@ def list_depending_files(self) -> Iterator[Path]:
319
321
continue
320
322
if not path .is_file ():
321
323
continue # ignore directories
322
- if path .suffix == '' :
324
+ if path .suffix == ( '' if platform . system () != 'Windows' else '.exe' ) :
323
325
continue # ignore compiled binaries
324
326
if path .name .endswith ('.html' ):
325
327
continue # ignore generated HTML files
You can’t perform that action at this time.
0 commit comments