fix: only write manifest if a package was resolved

leanprover · May 24, 2022 · 609c922 · 609c922
1 parent d231aae
commit 609c922
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Lake/CLI/Main.lean b/Lake/CLI/Main.lean
@@ -114,7 +114,8 @@ def loadWorkspace (args : List String := []) (updateDeps := true) : CliStateM Wo
       pure {}
   let (packageMap, resolveMap) ←
     resolveDeps ws pkg updateDeps |>.run manifest |>.run LogMethods.eio (m := IO)
-  IO.FS.writeFile ws.manifestFile <| Json.pretty <| toJson <| Manifest.fromMap resolveMap
+  unless resolveMap.isEmpty do
+    IO.FS.writeFile ws.manifestFile <| Json.pretty <| toJson <| Manifest.fromMap resolveMap
   let packageMap := packageMap.insert pkg.name pkg
   return {ws with packageMap}