|  | @@ -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, 
 |