diff options
Diffstat (limited to 'test/update-spec-tests.py')
| -rwxr-xr-x | test/update-spec-tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/update-spec-tests.py b/test/update-spec-tests.py index 07871ae2..a78f8bd1 100755 --- a/test/update-spec-tests.py +++ b/test/update-spec-tests.py @@ -63,7 +63,7 @@ def ProcessDir(wabt_test_dir, testsuite_dir, tool, flags=None): with open(test_filename, 'w') as f: f.write(';;; TOOL: %s\n' % tool) - f.write(';;; STDIN_FILE: %s\n' % wast_filename) + f.write(';;; STDIN_FILE: %s\n' % wast_filename.replace(os.sep, '/')) if flags: f.write(';;; ARGS*: %s\n' % flags) |