more info

leanprover · Mar 5, 2024 · 585bfad · 585bfad
1 parent 0ddab02
commit 585bfad
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/examples/SubVerso/Examples.lean b/src/examples/SubVerso/Examples.lean
@@ -132,8 +132,9 @@ partial def loadExamples (leanProject : FilePath) : IO (NameMap (NameMap Example
       "Build process failed." ++
       "\nCWD: " ++ projectDir.toString ++
       "\nCommand: " ++ lake ++
-      decorateOut "stdout" res.stdout ++
-      decorateOut "stderr" res.stderr
+      "\nExit code: " ++ toString res.exitCode ++
+      "\nstdout: " ++ res.stdout ++
+      "\nstderr: " ++ res.stderr
 
     throw <| .userError <|
       "Build process failed." ++