Add timing info to b2

boostorg · Nov 26, 2024 · 2462572 · 2462572
1 parent 5aa75a4
commit 2462572
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ci/common_install.sh b/ci/common_install.sh
@@ -179,7 +179,7 @@ if [[ "$B2_DONT_BOOTSTRAP" != "1" ]]; then
     # Check if b2 already exists. This would (only) happen in a caching scenario. The purpose of caching is to save time by not recompiling everything.
     # The user may clear cache or delete b2 beforehand if they wish to rebuild.
     if [ ! -f b2 ] || ! b2_version_output=$(./b2 --version); then
-        ${B2_WRAPPER} ./bootstrap.sh
+        time ${B2_WRAPPER} ./bootstrap.sh
     else
         # b2 expects versions to match
         engineversion=$(echo "$b2_version_output" | tr -s ' ' | cut -d' ' -f2 | cut -d'-' -f1)
@@ -190,9 +190,9 @@ if [[ "$B2_DONT_BOOTSTRAP" != "1" ]]; then
         if [[ "${enginemajorversion}" == "${coremajorversion}" ]] && [[ "${engineminorversion}" == "${coreminorversion}" ]]; then
             echo "b2 already exists and has the same version number"
         else
-            ${B2_WRAPPER} ./bootstrap.sh
+            time ${B2_WRAPPER} ./bootstrap.sh
         fi
     fi
     trap - ERR
-    ${B2_WRAPPER} ./b2 -d0 headers
+    time ${B2_WRAPPER} ./b2 -d0 headers
 fi