rustc/vendor/console-0.15.10/scripts/wasmtime-wrapper.sh
2025-02-17 11:14:05 +01:00

5 lines
164 B
Bash
Executable File

#!/bin/bash
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $SCRIPT_DIR/..
wasmtime run --env INSTA_WORKSPACE_ROOT=/ --mapdir "/::$(pwd)" -- "$@"