add timer on exec

inc_functions.php

@@ -67,18 +67,20 @@ function _exec($cmd): void
 {
     global $aCol;
     echo "$aCol[blue]cmd > $cmd$aCol[reset]\n";
+    $iStart=microtime(true);
     exec("$cmd 2>&1", $aOut, $rc);
-
+    $iEnd=microtime(true);
     if (!count($aOut)) {
         $aOut = ["-- no output --"];
     }
     echo implode("\n", $aOut) . "\n";
 
+    $sTime= "... ⏱️ Time: " . round($iEnd-$iStart, 3) . "s\n";
     if ($rc != 0) {
-        echo "rc=$rc ";
+        echo "rc=$rc $sTime";
         _abort("Error: Command failed. Aborting.", $rc);
     }
-    _ok();
+    _ok($sTime);
 }
 
 function _mkdir(string $sMyDir): void