diff --git a/tools/run_tests/post_tests_csharp.bat b/tools/run_tests/post_tests_csharp.bat index a3137aafa1f1f53f5faeda6b02c90f7a29704b6c..7851b9137acc9540f9c63609370e30d318508525 100644 --- a/tools/run_tests/post_tests_csharp.bat +++ b/tools/run_tests/post_tests_csharp.bat @@ -2,6 +2,10 @@ setlocal +if not "%CONFIG%" == "gcov" ( + goto :EOF +) + @rem enter src/csharp directory cd /d %~dp0\..\..\src\csharp