diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index 03a873c904be78214bfa030f862596b05fdf1b91..8f6511b1f88c9eb995688be19d8ecb95bbb84e51 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -478,11 +478,10 @@ if len(build_configs) > 1:
 if platform.system() == 'Windows':
   def make_jobspec(cfg, targets):
     extra_args = []
-    if args.travis:
-      # 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"])
+    # 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,