You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
			
				
					12 lines
				
				220 B
			
		
		
			
		
	
	
					12 lines
				
				220 B
			| 
								 
											3 years ago
										 
									 | 
							
								#!/usr/bin/bash
							 | 
						||
| 
								 | 
							
								set -e
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null && pwd)"
							 | 
						||
| 
								 | 
							
								cd $DIR
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								if [ ! -z "$(git status --porcelain)" ]; then
							 | 
						||
| 
								 | 
							
								  echo "Dirty working tree after build:"
							 | 
						||
| 
								 | 
							
								  git status --porcelain
							 | 
						||
| 
								 | 
							
								  exit 1
							 | 
						||
| 
								 | 
							
								fi
							 |