diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/wast2json.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/wast2json.sh b/tools/wast2json.sh new file mode 100755 index 0000000..26f677b --- /dev/null +++ b/tools/wast2json.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +set -eux + +if [[ -v WAST2JSON_PATH ]]; then + wast2json="$WAST2JSON_PATH" +else + wast2json=wast2json +fi + +cd tests/fixtures/spec_testsuites/core +find . -name '*.wast' -print0 | xargs -0 -n 1 "$wast2json" +find . -name '*.wat' -print0 | xargs -0 rm -f |
