1
0
mirror of https://github.com/godotengine/godot synced 2024-07-08 16:45:47 +00:00
godot/modules/webxr/SCsub
Fabio Alessandrelli d20b32186f [Web] Rename JavaScript platform to Web.
Also rename export name from "HTML5" to "Web".
2022-08-29 11:52:00 +02:00

12 lines
287 B
Python

#!/usr/bin/env python
Import("env")
Import("env_modules")
if env["platform"] == "web":
env.AddJSLibraries(["native/library_godot_webxr.js"])
env.AddJSExterns(["native/webxr.externs.js"])
env_webxr = env_modules.Clone()
env_webxr.add_source_files(env.modules_sources, "*.cpp")