From 51dcd704040df51175d7dd1ffa25a090c09739a1 Mon Sep 17 00:00:00 2001
From: "Andres G. Aragoneses" <knocte@gmail.com>
Date: Sat, 12 Aug 2023 19:05:14 +0800
Subject: [PATCH] WIP improve msg

---
 scripts/configure.fsx | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/configure.fsx b/scripts/configure.fsx
index 244c819a1..9160ffc37 100755
--- a/scripts/configure.fsx
+++ b/scripts/configure.fsx
@@ -26,7 +26,8 @@ let initialConfigFile, buildTool =
                 match Process.VsWhere "MSBuild\\**\\Bin\\MSBuild.exe" with
                 | None ->
                     Console.WriteLine "not found"
-                    Console.Error.WriteLine "Error, please install dotnet v6 (or newer), and/or .NET4.x (msbuild)"
+                    Console.Out.Flush()
+                    Console.Error.WriteLine "Error, please install 'dotnet' aka .NET (6.0 or newer), and/or .NETFramework 4.x ('msbuild')"
                     Environment.Exit 1
                     failwith "Unreachable"
                 | Some msbuildPath ->