Skip to content

Commit

Permalink
Add a comment pointing to the use.
Browse files Browse the repository at this point in the history
  • Loading branch information
gpshead committed Nov 28, 2024
1 parent 5d5dba1 commit 4d6c2ec
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions Tools/wasm/wasi.py
Original file line number Diff line number Diff line change
Expand Up @@ -180,6 +180,8 @@ def wasi_sdk_env(context):
if wasi_sdk_path != pathlib.Path("/opt/wasi-sdk"):
for compiler in compiler_env_names:
env[compiler] += f" --sysroot={sysroot}"

# sccache used in CI via .github/workflows/reusable-wasi.yaml
if subprocess.call(("sccache", "--version"), stderr=subprocess.DEVNULL) == 0:
for compiler in compiler_env_names:
env[compiler] = 'sccache ' + env[compiler]
Expand Down

0 comments on commit 4d6c2ec

Please sign in to comment.