diff options
-rw-r--r-- | tools/run_tests/post_tests_csharp.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/run_tests/post_tests_csharp.bat b/tools/run_tests/post_tests_csharp.bat index a3137aafa1..7851b9137a 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 |