diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-22 18:02:47 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-22 18:02:47 -0500 |
| commit | 32cbf32c91688b93c40e457e61b29decb416a6e7 (patch) | |
| tree | 7fc75e8c1750a895b04d6a716cbccefda7a6222a | |
| parent | cd6923bf137caa24c3cc2d05965c7cfa2428fb4d (diff) | |
Clean up .git/ when installing libraries
| -rw-r--r-- | src/modules.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/modules.c b/src/modules.c index 056cd5cc..c7c29d24 100644 --- a/src/modules.c +++ b/src/modules.c @@ -131,6 +131,9 @@ bool try_install_module(module_info_t mod, bool ask_confirmation) { if (mod.revision) xsystem("git clone --depth=1 --revision ", mod.revision, " ", mod.git, " ", dest); else if (mod.version) xsystem("git clone --depth=1 --branch ", mod.version, " ", mod.git, " ", dest); else xsystem("git clone --depth=1 ", mod.git, " ", dest); + // Clean up .git/ folder after cloning: + xsystem("rm -rf ", dest, "/.git"); + // Build library: xsystem("tomo -L ", dest); return true; } else if (mod.url) { |