15 lines
710 B
Diff
15 lines
710 B
Diff
diff --git a/bin/maintenance/dump_url_map.py b/bin/maintenance/dump_url_map.py
|
|
index 050b671c46..cf56a20f72 100644
|
|
--- a/bin/maintenance/dump_url_map.py
|
|
+++ b/bin/maintenance/dump_url_map.py
|
|
@@ -19,7 +19,9 @@ def get_map_version():
|
|
# whenever something changed
|
|
h = hashlib.md5()
|
|
h.update(os.getcwd().encode())
|
|
- if not os.environ.get('INDICO_NO_GIT'):
|
|
+ if (version := os.environ.get("INDICO_MAP_VERSION")):
|
|
+ h.update(version.encode())
|
|
+ elif not os.environ.get('INDICO_NO_GIT'):
|
|
h.update(subprocess.check_output(['git', 'describe', '--always']))
|
|
h.update(subprocess.check_output(['git', 'status']))
|
|
h.update(subprocess.check_output(['git', 'diff']))
|