| 
									
										
										
										
											2012-09-03 11:56:29 -04:00
										 |  |  | #!/bin/bash | 
					
						
							| 
									
										
										
										
											2016-08-07 12:54:25 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-10-01 12:36:13 +01:00
										 |  |  | if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]] | 
					
						
							|  |  |  | then | 
					
						
							|  |  |  |   export MAKE="$HOMEBREW_MAKE" | 
					
						
							|  |  |  | else | 
					
						
							|  |  |  |   MAKE="make" | 
					
						
							|  |  |  | fi | 
					
						
							| 
									
										
										
										
											2012-08-30 10:03:26 -04:00
										 |  |  | export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG" | 
					
						
							| 
									
										
										
										
											2017-10-01 12:36:13 +01:00
										 |  |  | exec xcrun "$MAKE" "$@" |