handle the empty DataCount section of WABT 1.0.13

This commit is contained in:
Volker Berlin 2020-01-18 13:21:43 +01:00
parent 7247623dc6
commit 5f3c199e34

View File

@ -612,7 +612,15 @@ public class WasmRule extends TemporaryFolder {
private static ProcessBuilder nodeJsCommand( File script ) {
String command = nodeExecuable();
// details see with command: node --v8-options
ProcessBuilder processBuilder = new ProcessBuilder( command, "--experimental-wasm-mv", "--experimental-wasm-se", "--experimental-wasm-sat-f2i-conversions", "--experimental-wasm-eh", "--experimental-wasm-anyref", "--experimental-wasm-bigint", script.getName() );
ProcessBuilder processBuilder = new ProcessBuilder( command, //
"--experimental-wasm-mv", // multi value
"--experimental-wasm-se", // sign extension
"--experimental-wasm-sat-f2i-conversions", // saturating float conversion
"--experimental-wasm-eh", // exception handling
"--experimental-wasm-anyref", //
"--experimental-wasm-bigint", //
"--experimental-wasm-bulk-memory", // bulk memory for WABT version 1.0.13, https://github.com/WebAssembly/wabt/issues/1311
script.getName() );
if( IS_WINDOWS ) {
processBuilder.command().add( 0, "cmd" );
processBuilder.command().add( 1, "/C" );