diff options
Diffstat (limited to 'tests/helpers/gtkdoc_mkhtml_runner.py')
-rw-r--r-- | tests/helpers/gtkdoc_mkhtml_runner.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/helpers/gtkdoc_mkhtml_runner.py b/tests/helpers/gtkdoc_mkhtml_runner.py index 6641326..f5e61fc 100644 --- a/tests/helpers/gtkdoc_mkhtml_runner.py +++ b/tests/helpers/gtkdoc_mkhtml_runner.py @@ -21,7 +21,12 @@ if __name__ == '__main__': options, arguments = parser.parse_known_args() - arguments.insert(0, os.path.join(options.binary_dir, 'gtkdoc-mkhtml')) + arg_pos = 0 + if os.name == 'nt': + arguments.insert(arg_pos, sys.executable) + arg_pos += 1 + + arguments.insert(arg_pos, os.path.join(options.binary_dir, 'gtkdoc-mkhtml')) if options.change_dir is not None: if not os.path.exists(options.change_dir): |