diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-03-20 14:35:28 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-03-20 14:35:28 +0100 |
| commit | 60f2166c2702552233e6fdc5761ff40ab0e43b8c (patch) | |
| tree | 7e66a8a5da2d3be3404d985de9050d9a7bdd431b /platform/javascript | |
| parent | 62e134a0c01bf19c2623dc73e05ebb6e0ab0c1b5 (diff) | |
[HTML5] Fix editor version numbering.
Should not write patch version when it's `0`.
Diffstat (limited to 'platform/javascript')
| -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): |