commit 49f800221f14f05c0a644c8ceb742b731d8d1583
author David Ostrovsky <david@ostrovsky.org> Sun Jun 21 18:12:26 2020 +0200
committer David Ostrovsky <david@ostrovsky.org> Mon Jun 22 06:55:10 2020 +0200
tree b9bf3c18e54ca97082ece1b16fde0b5d646a2861
parent 1660bd6837e8ebbbcbc93a4d3b85f8e91cc04ce3

Bazel: Extend workspace status command to stamp jgit artifact

Also-by: Christian Aistleitner <christian@quelltextlich.at>
Change-Id: Ibe74e6de4ac0819c67dbd3ebb7008c3a716f3e06

modules/jgit

diff --git a/modules/jgit b/modules/jgit
index 8e79d5a..14c4382 160000
--- a/modules/jgit
+++ b/modules/jgit
@@ -1 +1 @@
-Subproject commit 8e79d5a290843b929f073a536a0d678fc74382ca
+Subproject commit 14c43828d471b811e3245631251a3ce77cc4214a

tools/workspace_status.py

diff --git a/tools/workspace_status.py b/tools/workspace_status.py
index 86df519..443c2f0 100644
--- a/tools/workspace_status.py
+++ b/tools/workspace_status.py
@@ -36,9 +36,11 @@
 
 
 print("STABLE_BUILD_GERRIT_LABEL %s" % revision(ROOT, ROOT))
-for d in os.listdir(os.path.join(ROOT, 'plugins')):
-    p = os.path.join('plugins', d)
-    if os.path.isdir(p):
-        v = revision(p, ROOT)
-        print('STABLE_BUILD_%s_LABEL %s' % (os.path.basename(p).upper(),
-                                            v if v else 'unknown'))
+for kind in ['modules', 'plugins']:
+    kind_dir = os.path.join(ROOT, kind)
+    for d in os.listdir(kind_dir):
+        p = os.path.join(kind_dir, d)
+        if os.path.isdir(p):
+            v = revision(p, ROOT)
+            print('STABLE_BUILD_%s_LABEL %s' % (os.path.basename(p).upper(),
+                                                v if v else 'unknown'))