diff options
| -rwxr-xr-x | tools/run_tests/run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 1f1e7da01e..2da02b2662 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, |