diff options
| author | Wouter van Oortmerssen <aardappel@gmail.com> | 2020-09-30 17:27:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-30 17:27:14 -0700 |
| commit | cd63243c5b3b2fa938f365edab30139f74549b51 (patch) | |
| tree | 187d957e7b2551fc16a015e6e315f405fc37894a /test/update-spec-tests.py | |
| parent | 76f76f9c01b43124c98769d9c92620c9a587dd62 (diff) | |
| download | wabt-cd63243c5b3b2fa938f365edab30139f74549b51.tar.gz wabt-cd63243c5b3b2fa938f365edab30139f74549b51.tar.bz2 wabt-cd63243c5b3b2fa938f365edab30139f74549b51.zip | |
Update testsuite to 646b43e (#1555)
(this is HEAD~1 as of this writing, HEAD containing the Memory64 tests which I want to land separately)
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) |