Try harder to disable PDB

9 years ago · 6300a18342
parent fc3c0c45a0
commit 6300a18342
1 changed files with 1 additions and 1 deletions
--- 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,