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