diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index 1f1e7da01ed..2da02b2662e 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -479,7 +479,7 @@ if platform.system() == 'Windows':
   def make_jobspec(cfg, targets):
     extra_args = []
     if args.travis:
-      extra_args.extend(["/m", "/p:DebugSymbols=false", "/p:DebugType=None"])
+      extra_args.extend(["/m", "/p:GenerateDebugInformation=false"])
     return [
       jobset.JobSpec(['vsprojects\\build.bat', 
                       'vsprojects\\%s.sln' % target,