From f988613e6a4e601b8ec6edcc31851662d75c2b75 Mon Sep 17 00:00:00 2001 From: Brendan Burns Date: Mon, 31 Jul 2023 19:39:57 +0000 Subject: [PATCH] Fix ups for devcontainer. --- .devcontainer/devcontainer.json | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 318508f..7c7a01d 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -2,11 +2,14 @@ "name": "C/C++ WASM", "image": "ubuntu:jammy", "remoteEnv": { - "PATH": "${containerEnv:PATH}:/usr/local/lib/wasi-sdk-20.0/bin" + "PATH": "${containerEnv:PATH}:/usr/local/lib/wasi-sdk-20.0/bin:/usr/local/lib" }, "features": { "devwasm.azurecr.io/dev-wasm/dev-wasm-feature/wasmtime-wasi:0.0.9": { - "version": "20" + "version": "20", + "wasmtime_version": "v9.0.4", + "wit_version": "0.4.0" + }, "ghcr.io/devcontainers/features/common-utils": {} },