diff --git a/build/local/build.sh b/build/local/build.sh
index 32c8caa52f..7f46190b8e 100755
--- 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() {