bin/build-packages: accept "$git_repo-HEAD" as revision for package repository $git_repo

1 files changed, 12 insertions, 0 deletions

diff --git a/bin/build-packages b/bin/build-packages
index a286ff8..0ba4a57 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -189,6 +189,18 @@ while [ "${count}" -ne 0 ]; do
       git_revision="${package##* }"
       package="${package% *}"
 
+      if [ "${git_revision##*-}" = 'HEAD' ]; then
+        git_revision=$(
+          repo_name="${git_revision%-*}"
+          eval repo_path='"${repo_paths__'"${repo_name}"'}"'
+          if [ -z "${repo_path}" ]; then
+            >&2 printf 'Unknown git repository "%s".\n' "${repo_name}"
+            exit 2
+          fi
+          git -C "${repo_path}" rev-parse HEAD
+        )
+      fi
+
       if [ "${mod_git_revision}" = 'work-tree' ]; then
         mod_git_revision=$(
           # we can't just create an empty index-file with mktemp, because git doesn't like it