Remove some unused files related to WASM/WASI

brettcannon · Sep 26, 2024 · b93b956 · b93b956
1 parent a4d1fdf
commit b93b956
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 57 deletions.
diff --git a/Tools/wasm/Setup.local.example b/Tools/wasm/Setup.local.example
diff --git a/Tools/wasm/build_wasi.sh b/Tools/wasm/build_wasi.sh
diff --git a/Tools/wasm/wasi-env b/Tools/wasm/wasi-env
@@ -1,6 +1,8 @@
 #!/bin/sh
 set -e
 
+# NOTE: to be removed once no longer used in https://github.com/python/buildmaster-config/blob/main/master/custom/factories.py .
+
 # function
 usage() {
     echo "wasi-env - Run command with WASI-SDK"