Updating Jekinsfile
This commit is contained in:
		
							parent
							
								
									b0789bf9c7
								
							
						
					
					
						commit
						2c2cabe48b
					
				
							
								
								
									
										4
									
								
								Jenkinsfile
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								Jenkinsfile
									
									
									
									
										vendored
									
									
								
							| @ -16,10 +16,10 @@ pipeline { | |||||||
| 
 | 
 | ||||||
| 		//CMake specific flags | 		//CMake specific flags | ||||||
| 		CMAKE_OPTIONS = '' | 		CMAKE_OPTIONS = '' | ||||||
| 		CMAKE_MAKE_OPTIONS = '-j 12' | 		CMAKE_MAKE_OPTIONS = '-j12' | ||||||
| 
 | 
 | ||||||
| 		//Make specific flags | 		//Make specific flags | ||||||
| 		MAKE_OPTIONS = '-j 12' | 		MAKE_OPTIONS = '-j12' | ||||||
| 
 | 
 | ||||||
| 		force_rebuild="${params.force_rebuild}" | 		force_rebuild="${params.force_rebuild}" | ||||||
| 
 | 
 | ||||||
|  | |||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user