| 
																	
																	
																	
																 | 
																@@ -1,5 +1,12 @@ | 
															
														
														
													
														
															
																 | 
																 | 
																#!/bin/bash | 
																 | 
																 | 
																#!/bin/bash | 
															
														
														
													
														
															
																 | 
																 | 
																
  | 
																 | 
																 | 
																
  | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																# function not available on some systems | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																if ! which realpath 2>/dev/null; then | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																    function realpath() { | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																        [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																    } | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																fi | 
															
														
														
													
														
															
																 | 
																 | 
																 | 
																 | 
																 | 
																
  | 
															
														
														
													
														
															
																 | 
																 | 
																set -e | 
																 | 
																 | 
																set -e | 
															
														
														
													
														
															
																 | 
																 | 
																
  | 
																 | 
																 | 
																
  | 
															
														
														
													
														
															
																 | 
																 | 
																if [ ! -d bin ]; then | 
																 | 
																 | 
																if [ ! -d bin ]; then | 
															
														
														
													
												
													
														
															
																| 
																	
																		
																	
																	
																	
																 | 
																
  |