diff --git a/tests/wasm/generate_tests.sh b/tests/wasm/generate_tests.sh index 841b95922..78ec26c59 100755 --- a/tests/wasm/generate_tests.sh +++ b/tests/wasm/generate_tests.sh @@ -4,10 +4,10 @@ touch __init__.py wget -nc -nv -O wabt.tgz -c https://github.com/WebAssembly/wabt/releases/download/1.0.12/wabt-1.0.12-linux.tar.gz -wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/v1.1.zip +wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/opam-1.1.zip yes | unzip -q -j spec.zip 'spec-*/test/core/*' -d . -rm run.py README.md +rm run.py README.md rm spec.zip tar --wildcards --strip=1 -xf wabt.tgz 'wabt-*/wast2json' diff --git a/tests/wasm_sym/generate_symbolic_tests.sh b/tests/wasm_sym/generate_symbolic_tests.sh index 844a9e537..5ee74a883 100755 --- a/tests/wasm_sym/generate_symbolic_tests.sh +++ b/tests/wasm_sym/generate_symbolic_tests.sh @@ -4,10 +4,10 @@ rm -rf */ touch __init__.py wget -nc -nv -O wabt.tgz -c https://github.com/WebAssembly/wabt/releases/download/1.0.12/wabt-1.0.12-linux.tar.gz -wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/v1.1.zip +wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/opam-1.1.zip yes | unzip -q -j spec.zip 'spec-*/test/core/*' -d . -rm run.py README.md +rm run.py README.md rm spec.zip tar --wildcards --strip=1 -xf wabt.tgz 'wabt-*/wast2json' @@ -40,4 +40,4 @@ chmod +x gen.sh cat modules.txt | xargs -n1 -P"$cores" ./gen.sh rm gen.sh -exit 0 \ No newline at end of file +exit 0