From 2f03a3a965503b76874c203e0e3bb5aa6bff952f Mon Sep 17 00:00:00 2001
From: Viktor Hofer <viktor.hofer@microsoft.com>
Date: Tue, 13 Jan 2026 13:26:54 +0100
Subject: [PATCH] Remove time exec from root build scripts

Fixes https://github.com/dotnet/fsharp/issues/19209
---
 Build.cmd | 2 +-
 build.sh  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Build.cmd b/Build.cmd
index 10845940e2..5f7196bcdf 100644
--- a/Build.cmd
+++ b/Build.cmd
@@ -1,2 +1,2 @@
 @echo off
-powershell -ExecutionPolicy ByPass -NoProfile -command "Measure-Command { & """%~dp0eng\build.ps1""" -build -restore %* } | Select-Object TotalMinutes, TotalSeconds"
+powershell -ExecutionPolicy ByPass -NoProfile -command "& """%~dp0eng\Build.ps1""" -restore -build %*"
diff --git a/build.sh b/build.sh
index a8c0c9d6a2..75055e9c92 100755
--- a/build.sh
+++ b/build.sh
@@ -13,4 +13,4 @@ while [[ -h $source ]]; do
 done
 
 scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
-time "$scriptroot/eng/build.sh" --build --restore "$@"
+"$scriptroot/eng/build.sh" --restore --build $@