diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-08-19 15:01:22 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-08-19 15:01:30 +0200 |
| commit | 16f49d4b295a7ed0d5c7faf9dc52e1f479aeb40f (patch) | |
| tree | 8f84c1107309e4333687a0019034b51dd9455755 | |
| parent | 8b6c168b3ac14d9ac6350d03e7be4d196311e0fe (diff) | |
HTML5: Handle GODOT_VERSION_STATUS env var in @GODOT_VERSION@
Follow-up to #51002.
| -rw-r--r-- | platform/javascript/emscripten_helpers.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/platform/javascript/emscripten_helpers.py b/platform/javascript/emscripten_helpers.py index ab98838e20..4dad2d5204 100644 --- a/platform/javascript/emscripten_helpers.py +++ b/platform/javascript/emscripten_helpers.py @@ -24,7 +24,10 @@ def get_build_version(): v = "%d.%d" % (version.major, version.minor) if version.patch > 0: v += ".%d" % version.patch - v += ".%s.%s" % (version.status, name) + status = version.status + if os.getenv("GODOT_VERSION_STATUS") != None: + status = str(os.getenv("GODOT_VERSION_STATUS")) + v += ".%s.%s" % (status, name) return v |