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
 |