diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-08-19 16:29:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-19 16:29:22 +0200 |
| commit | 4f53e8a9e8c33266c141f184d33a17b4fa85c354 (patch) | |
| tree | 0d7a046d6396807d005bac7a6465a4d6ac0b6933 /platform/javascript/emscripten_helpers.py | |
| parent | 30a5cdc093346d1ccca67e0a1c755f19b8f6f909 (diff) | |
| parent | 16f49d4b295a7ed0d5c7faf9dc52e1f479aeb40f (diff) | |
Merge pull request #51885 from akien-mga/html5-GODOT_VERSION_STATUS
HTML5: Handle `GODOT_VERSION_STATUS` env var in `@GODOT_VERSION@`
Diffstat (limited to 'platform/javascript/emscripten_helpers.py')
| -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 |