Edited jenkins file
This commit is contained in:
		
							parent
							
								
									9dfca6f80d
								
							
						
					
					
						commit
						2f307d2e16
					
				
							
								
								
									
										4
									
								
								Jenkinsfile
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								Jenkinsfile
									
									
									
									
										vendored
									
									
								
							@ -16,7 +16,7 @@ pipeline {
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
						//CMake specific flags
 | 
											//CMake specific flags
 | 
				
			||||||
						CMAKE_OPTIONS = ''
 | 
											CMAKE_OPTIONS = ''
 | 
				
			||||||
						CMAKE_MAKE_OPTIONS = ''
 | 
											CMAKE_MAKE_OPTIONS = '-j 12'
 | 
				
			||||||
 | 
					
 | 
				
			||||||
						//Make specific flags
 | 
											//Make specific flags
 | 
				
			||||||
						MAKE_OPTIONS = ''
 | 
											MAKE_OPTIONS = ''
 | 
				
			||||||
@ -58,7 +58,7 @@ pipeline {
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
						//CMake specific flags
 | 
											//CMake specific flags
 | 
				
			||||||
						CMAKE_OPTIONS = ''
 | 
											CMAKE_OPTIONS = ''
 | 
				
			||||||
						CMAKE_MAKE_OPTIONS = ''
 | 
											CMAKE_MAKE_OPTIONS = '-j 12'
 | 
				
			||||||
 | 
					
 | 
				
			||||||
						//Make specific flags
 | 
											//Make specific flags
 | 
				
			||||||
						MAKE_OPTIONS = ''
 | 
											MAKE_OPTIONS = ''
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user