diff options
author | Jan Tattermusch <jtattermusch@google.com> | 2016-04-09 16:52:38 -0700 |
---|---|---|
committer | Jan Tattermusch <jtattermusch@google.com> | 2016-04-11 11:09:38 -0700 |
commit | 67306daaa20fc1fda9c91ffc4573d69749ca80c1 (patch) | |
tree | b4bd989fde4385a845431eb13caccb14650d03fc /tools/run_tests/post_tests_csharp.bat | |
parent | 35e608fb8f203fcff668e9b915521beece49906e (diff) |
fix .bat script
Diffstat (limited to 'tools/run_tests/post_tests_csharp.bat')
-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 |