diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-07-07 18:28:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-07 18:28:28 +0000 |
| commit | 0a682d32870c3a7b2c908b0d7d7cab95338393c5 (patch) | |
| tree | ae42e3699c85e0060bf83526a478b22377c304db /scripts/port_passes_tests_to_lit.py | |
| parent | 7200d7b4db7e8d12d2c187621958aa85cdc6b5e5 (diff) | |
| download | binaryen-0a682d32870c3a7b2c908b0d7d7cab95338393c5.tar.gz binaryen-0a682d32870c3a7b2c908b0d7d7cab95338393c5.tar.bz2 binaryen-0a682d32870c3a7b2c908b0d7d7cab95338393c5.zip | |
Port test/passes/O* to lit (#3969)
Diffstat (limited to 'scripts/port_passes_tests_to_lit.py')
| -rwxr-xr-x | scripts/port_passes_tests_to_lit.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/port_passes_tests_to_lit.py b/scripts/port_passes_tests_to_lit.py index 1bebfba75..4a71f741f 100755 --- a/scripts/port_passes_tests_to_lit.py +++ b/scripts/port_passes_tests_to_lit.py @@ -83,6 +83,9 @@ def port_test(args, test): if not args.no_delete: for f in glob.glob(test.replace('.wast', '.*')): + # Do not delete binary tests with the same name + if f.endswith('.wasm') or f.endswith('.bin.txt'): + continue os.remove(f) if args.git_add: subprocess.run(['git', 'add', f]) |