There was an error while loading. Please reload this page.
1 parent dc9697f commit 7d6891dCopy full SHA for 7d6891d
1 file changed
Tools/wasm/wasm_build.py
@@ -48,7 +48,7 @@
48
WASMTOOLS = SRCDIR / "Tools" / "wasm"
49
BUILDDIR = SRCDIR / "builddir"
50
CONFIGURE = SRCDIR / "configure"
51
-SETUP_LOCAL = SRCDIR / "Modules" / "Setup.local"
+PYBUILDDIR_TXT = SRCDIR / "pybuilddir.txt"
52
53
HAS_CCACHE = shutil.which("ccache") is not None
54
@@ -860,8 +860,8 @@ def main():
860
builder.clean(all=False)
861
862
# hack for WASI
863
- if builder.host.is_wasi and not SETUP_LOCAL.exists():
864
- SETUP_LOCAL.touch()
+ if builder.host.is_wasi and not PYBUILDDIR_TXT.exists():
+ PYBUILDDIR_TXT.touch()
865
866
# auto-build
867
if "build" in args.ops:
0 commit comments