diff --git a/Lake/Build/Monad.lean b/Lake/Build/Monad.lean
index 62bed905ed..0898eb05e9 100644
--- a/Lake/Build/Monad.lean
+++ b/Lake/Build/Monad.lean
@@ -13,11 +13,7 @@ namespace Lake
 
 def mkBuildContext (ws : Workspace) (oldMode : Bool) : IO BuildContext := do
   let lean := ws.lakeEnv.lean
-  let leanTrace :=
-    if lean.githash.isEmpty then
-      mixTrace (← computeTrace lean.lean) (← computeTrace lean.sharedLib)
-    else
-      Hash.ofString lean.githash
+  let leanTrace := Hash.ofString lean.githash
   return {opaqueWs := ws, leanTrace, oldMode}
 
 @[inline] def getLeanTrace : BuildM BuildTrace :=