[wasi] Fix the setting of XUNIT_RANDOM_ORDER_SEED, wasmtime uses --env to set environ...
authorZoltan Varga <vargaz@gmail.com>
Sun, 12 Feb 2023 00:05:22 +0000 (19:05 -0500)
committerGitHub <noreply@github.com>
Sun, 12 Feb 2023 00:05:22 +0000 (19:05 -0500)
eng/testing/WasiRunnerTemplate.sh

index b2b9240..7a3752d 100644 (file)
@@ -36,7 +36,7 @@ if [[ -n "$PREPEND_PATH" ]]; then
 fi
 
 if [[ -n "$XUNIT_RANDOM_ORDER_SEED" ]]; then
-    WasmXHarnessMonoArgs="${WasmXHarnessMonoArgs} --setenv=XUNIT_RANDOM_ORDER_SEED=${XUNIT_RANDOM_ORDER_SEED}"
+    WasmXHarnessMonoArgs="${WasmXHarnessMonoArgs} --env=XUNIT_RANDOM_ORDER_SEED=${XUNIT_RANDOM_ORDER_SEED}"
 fi
 
 echo EXECUTION_DIR=$EXECUTION_DIR