From 29adf9eee0514e38acdd7a8c02d8ba786a23e333 Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Mon, 28 Nov 2022 14:37:50 +1000
Subject: [PATCH] Fix submodule sync when nested in another repo on Windows

---
 build/ninja_gen/src/git.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/ninja_gen/src/git.rs b/build/ninja_gen/src/git.rs
index f00ef69e0..9c1be9eac 100644
--- a/build/ninja_gen/src/git.rs
+++ b/build/ninja_gen/src/git.rs
@@ -54,7 +54,7 @@ fn locate_git_head() -> Option<BuildInput> {
                 .filter_map(|p| {
                     let head = p.unwrap().path().join("HEAD");
                     if head.exists() {
-                        Some(head.to_string())
+                        Some(head.as_str().replace(':', "$:").to_string())
                     } else {
                         None
                     }