mirror of
				https://github.com/subsurface/subsurface.git
				synced 2025-02-19 22:16:15 +00:00 
			
		
		
		
	
		
			
	
	
		
			10 lines
		
	
	
	
		
			219 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
		
		
			
		
	
	
			10 lines
		
	
	
	
		
			219 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
| 
								 | 
							
								#!/bin/bash
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								set -x
							 | 
						||
| 
								 | 
							
								set -e
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								docker exec -t builder subsurface/scripts/build.sh -desktop 2>&1 | tee build.log
							 | 
						||
| 
								 | 
							
								# fail the build if we didn't create the target binary
							 | 
						||
| 
								 | 
							
								grep /workspace/install-root/bin/subsurface build.log
							 | 
						||
| 
								 | 
							
								
							 |