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"
 |