Merge pull request #412 from b4b4t/fix/dotnet-build

[Generator] Vide les buffers lors du build des générateurs custom
klee-contrib · Nov 28, 2024 · f215f24 · f215f24
2 parents 4b47708 + ce42ba4
commit f215f24
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/TopModel.Generator/Program.cs b/TopModel.Generator/Program.cs
@@ -300,8 +300,13 @@ void SearchConfigFile(string dirName, int depth = 0)
                 Arguments = "build -v q",
                 WorkingDirectory = customDir,
                 RedirectStandardOutput = true,
-                StandardOutputEncoding = Encoding.UTF8
+                RedirectStandardError = true,
+                StandardOutputEncoding = Encoding.UTF8,
+                StandardErrorEncoding = Encoding.UTF8
             });
+
+            await build!.StandardOutput.ReadToEndAsync();
+            await build!.StandardError.ReadToEndAsync();
             await build!.WaitForExitAsync();
 
             if (build.ExitCode != 0)