From 78737deca3c166375633ffb88e62a8e4f8b689f9 Mon Sep 17 00:00:00 2001
From: "Andres G. Aragoneses" <knocte@gmail.com>
Date: Tue, 31 Oct 2023 17:59:55 +0800
Subject: [PATCH] scripts/bump.fsx: improve submodule advice

We were getting the following error:

```
fatal: Fetched in submodule path 'scripts/fsx', but it did not contain 2268d505970604f38738bda758ffac44a2a77e54. Direct fetching of that commit failed.
```
---
 scripts/bump.fsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/bump.fsx b/scripts/bump.fsx
index 76d634a20..33ae883f3 100755
--- a/scripts/bump.fsx
+++ b/scripts/bump.fsx
@@ -253,7 +253,7 @@ let RunUpdateServers () =
 
 
 if not replaceScript.Exists then
-    Console.Error.WriteLine "Script replace.fsx not found, 'fsx' submodule not populated? Please run `git submodule sync --recursive && git submodule update --init --recursive`"
+    Console.Error.WriteLine "Script replace.fsx not found, 'fsx' submodule not populated? Please run `git submodule foreach git fetch --all && git submodule sync --recursive && git submodule update --init --recursive`"
     Environment.Exit 1
 
 GitDiff()