commit fc3c0c45a088be01bc1bd6dd5d483976fac83d4d
author Craig Tiller <craig.tiller@gmail.com> Tue Sep 01 16:47:54 2015 -0700
committer Craig Tiller <craig.tiller@gmail.com> Tue Sep 01 16:47:54 2015 -0700
tree 43f47c2677e0dc189342caf55c52757a9a2edac6
parent dfc3eeee5b226902f9e082df7885ec34d4de0ba2

Hopefully speed up Jenkins builds

tools/run_tests/run_tests.py

diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index 234e13b..1f1e7da 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -477,10 +477,14 @@
 
 if platform.system() == 'Windows':
   def make_jobspec(cfg, targets):
+    extra_args = []
+    if args.travis:
+      extra_args.extend(["/m", "/p:DebugSymbols=false", "/p:DebugType=None"])
     return [
       jobset.JobSpec(['vsprojects\\build.bat', 
                       'vsprojects\\%s.sln' % target, 
-                      '/p:Configuration=%s' % _WINDOWS_CONFIG[cfg]],
+                      '/p:Configuration=%s' % _WINDOWS_CONFIG[cfg]] +
+                      extra_args,
                       shell=True, timeout_seconds=90*60)
       for target in targets]
 else: