10 lines
		
	
	
	
		
			145 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			10 lines
		
	
	
	
		
			145 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
#!/usr/bin/env bash
 | 
						|
set -e
 | 
						|
 | 
						|
pushd `dirname $0` > /dev/null
 | 
						|
FullScriptPath=`pwd`
 | 
						|
popd > /dev/null
 | 
						|
 | 
						|
python $FullScriptPath/configure.py "$@"
 | 
						|
 | 
						|
exit
 |