From 929e7eebc6abb5763c775fc18c2b1da9d4da9f0b Mon Sep 17 00:00:00 2001
From: Craig Tiller <craig.tiller@gmail.com>
Date: Thu, 3 Sep 2015 08:46:01 -0700
Subject: [PATCH] Fix typo

---
 tools/run_tests/run_tests.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index 6e30a6d752..03a873c904 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -482,7 +482,7 @@ if platform.system() == 'Windows':
       # 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"])
+      extra_args.extend(["/p:GenerateDebugInformation=false", "/p:DebugInformationFormat=None"])
     return [
       jobset.JobSpec(['vsprojects\\build.bat', 
                       'vsprojects\\%s.sln' % target, 
-- 
GitLab