PMM-12899 send exec time to the log file

percona · Apr 2, 2024 · 13b4f65 · 13b4f65
1 parent 9587f21
commit 13b4f65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/local/build.sh b/build/local/build.sh
@@ -172,7 +172,7 @@ build_with_logs() {
   fi
   end_time=$(date +%s)
 
-  echo "Execution time for $script: $((end_time - start_time)) seconds"
+  echo "Execution time for $script: $((end_time - start_time)) seconds" | tee -a $LOG_FILE
 }
 
 init() {