From fe06d409c572241de6c9f00077d6c8cf452f845c Mon Sep 17 00:00:00 2001
From: Craig Tiller <craig.tiller@gmail.com>
Date: Thu, 3 Sep 2015 08:37:55 -0700
Subject: [PATCH] Try even harder to disable PDB generation
---
tools/run_tests/run_tests.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index 2da02b2662..6e30a6d752 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -479,7 +479,10 @@ if platform.system() == 'Windows':
def make_jobspec(cfg, targets):
extra_args = []
if args.travis:
- extra_args.extend(["/m", "/p:GenerateDebugInformation=false"])
+ # better do parallel compilation
+ extra_args.extend(["/m"])
+ # disable PDB generation: it's broken, and we don't need it during CI
+ extra_args.extend(["/p:GenerateDebugInformation=false", "/p:DebugInformationFormat:None"])
return [
jobset.JobSpec(['vsprojects\\build.bat',
'vsprojects\\%s.sln' % target,
--
GitLab