From: Nadav Har'El <[email protected]>
Committer: Nadav Har'El <[email protected]>
Branch: master

submodules: cleanly remove unused submodules

To remove a submodule, it is not enough to remove it from .gitmodules,
we also need to "git rm" it, otherwise "git submodule init" fails in
new clones.

Signed-off-by: Nadav Har'El <[email protected]>

---
diff --git a/external/x64/gcc.bin b/external/x64/gcc.bin
--- a/external/x64/gcc.bin
+++ b/external/x64/gcc.bin
@@ -1 +0,0 @@
-Subproject commit 588fda357d3234e237ef1f81aa6594c10d168783
diff --git a/external/x64/misc.bin b/external/x64/misc.bin
--- a/external/x64/misc.bin
+++ b/external/x64/misc.bin
@@ -1 +0,0 @@
-Subproject commit bdb69d953f5daf2fe5d97954c77aaec768b01a0c

-- 
You received this message because you are subscribed to the Google Groups "OSv 
Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/osv-dev/00000000000061e884059cb7ca98%40google.com.

Reply via email to