15944: Merge branch 'master' into 15944-arvbox-publicdev-fix

[arvados.git] / build / run-library.sh

diff --git a/build/run-library.sh b/build/run-library.sh
index 46b4dc60458c4fce6249ed4c6acf71259d7f933e..5b1dde46a9f3fec05cee114641564a2fdbacc486 100755 (executable)
--- a/build/run-library.sh
+++ b/build/run-library.sh
@@ -57,7 +57,7 @@ version_from_git() {
 
     local git_ts git_hash
     declare $(format_last_commit_here "git_ts=%ct git_hash=%h" "$subdir")
-    ARVADOS_BUILDING_VERSION="$(git tag -l |sort -V -r |head -n1).$(date -ud "@$git_ts" +%Y%m%d%H%M%S)"
+    ARVADOS_BUILDING_VERSION="$($WORKSPACE/build/version-at-commit.sh $git_hash)"
     echo "$ARVADOS_BUILDING_VERSION"
 }