diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-20 17:46:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-20 17:46:57 +0100 |
| commit | 91b51a2d321435fe2e2e8d27efb710a6a257e212 (patch) | |
| tree | 7e66a8a5da2d3be3404d985de9050d9a7bdd431b | |
| parent | 62e134a0c01bf19c2623dc73e05ebb6e0ab0c1b5 (diff) | |
| parent | 60f2166c2702552233e6fdc5761ff40ab0e43b8c (diff) | |
Merge pull request #47192 from Faless/js/4.x_editor_version
[HTML5] Fix editor version numbering.
| -rw-r--r-- | platform/javascript/emscripten_helpers.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/platform/javascript/emscripten_helpers.py b/platform/javascript/emscripten_helpers.py index 04fbba8a41..b3b15a1574 100644 --- a/platform/javascript/emscripten_helpers.py +++ b/platform/javascript/emscripten_helpers.py @@ -21,7 +21,11 @@ def get_build_version(): name = "custom_build" if os.getenv("BUILD_NAME") != None: name = os.getenv("BUILD_NAME") - return "%d.%d.%d.%s.%s" % (version.major, version.minor, version.patch, version.status, name) + v = "%d.%d" % (version.major, version.minor) + if version.patch > 0: + v += ".%d" % version.patch + v += ".%s.%s" % (version.status, name) + return v def create_engine_file(env, target, source, externs): |