From 609c92261b02bbe858a650d9995b5e66773c1e48 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 23 May 2022 20:28:36 -0400
Subject: [PATCH] fix: only write manifest if a package was resolved

---
 Lake/CLI/Main.lean | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Lake/CLI/Main.lean b/Lake/CLI/Main.lean
index 4fadc03..9bdabcb 100644
--- 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}