diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-01-05 00:19:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-05 00:19:50 +0100 |
commit | c13bb0b5415299ae69cd698d7f300859f2e85c16 (patch) | |
tree | 8abfd8bdcc59e1b344f7644e073dc99cde2c0c48 /platform/javascript/emscripten_helpers.py | |
parent | 569dd6f11a85a3b53ba4c4c80e8d64aa2fcbe87d (diff) | |
parent | a54a2d65e16cea409c8a876f517451d3168da13b (diff) |
Merge pull request #44154 from dsnopek/webxr-master
Add WebXR support (for Godot 4.0)
Diffstat (limited to 'platform/javascript/emscripten_helpers.py')
-rw-r--r-- | platform/javascript/emscripten_helpers.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/platform/javascript/emscripten_helpers.py b/platform/javascript/emscripten_helpers.py index cc874c432e..278186e4c0 100644 --- a/platform/javascript/emscripten_helpers.py +++ b/platform/javascript/emscripten_helpers.py @@ -25,3 +25,15 @@ def add_js_libraries(env, libraries): if "JS_LIBS" not in env: env["JS_LIBS"] = [] env.Append(JS_LIBS=env.File(libraries)) + + +def add_js_pre(env, js_pre): + if "JS_PRE" not in env: + env["JS_PRE"] = [] + env.Append(JS_PRE=env.File(js_pre)) + + +def add_js_externs(env, externs): + if "JS_EXTERNS" not in env: + env["JS_EXTERNS"] = [] + env.Append(JS_EXTERNS=env.File(externs)) |