diff options
author | Craig Tiller <ctiller@google.com> | 2015-09-02 09:56:22 -0700 |
---|---|---|
committer | Craig Tiller <ctiller@google.com> | 2015-09-02 09:56:22 -0700 |
commit | 6300a183427d6d9c9c527fd9615aede13bd7b1dd (patch) | |
tree | 6b02d02ff8e5a9f1a8a4b2a46758e7ab7d0e2126 /tools | |
parent | fc3c0c45a088be01bc1bd6dd5d483976fac83d4d (diff) |
Try harder to disable PDB
Diffstat (limited to 'tools')
-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, |