17 lines
		
	
	
	
		
			252 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			17 lines
		
	
	
	
		
			252 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
#!/bin/sh
 | 
						|
 | 
						|
# Should we run the build?
 | 
						|
 | 
						|
if [ $# -lt 1 ]; then
 | 
						|
	exec >& 2
 | 
						|
	echo "Usage: $0 <exe>"
 | 
						|
	exit 1
 | 
						|
fi
 | 
						|
 | 
						|
exe=$1
 | 
						|
 | 
						|
# If the binary hasn't already be compiled.
 | 
						|
[ -f "${exe}" ] || exit 0
 | 
						|
 | 
						|
v=`find src/ -type f -newer "${exe}" | wc -l`
 | 
						|
test "${v}" != "0"
 |